Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
of adjoint functors between categories and , is characterized by a natural isomorphism
of hom-sets for objects and . Two morphisms and which correspond under this bijection are said to be adjuncts of each other. That is, is the adjunct of and is the adjunct of .
Sometimes people call the “adjoint” of , and vice versa, but this is potentially confusing because it is the functors and which are adjoint. Other possible terms are conjugate and mate.
Let be the unit of the adjunction and the counit.
Revised on November 17, 2010 14:58:14
by Urs Schreiber