adjoint functor

relationship that two functors may have

카테고리: