adjoint functor

/AH0 JH OY1 N T F AH0 NG K T ER0/
noun
  1. 1

    (category theory) One of a pair of functors such that the domain and codomain of one of them are identical to the codomain and domain of the other one, respectively, and such that there is a pair of natural transformations which turns the pair of functors into an adjunction.

Translate “adjoint functor” into another language