abstract duality: opposite category,
While a (left or right) adjoint to a functor may be understood as the best approximation (from one side or the other) of a possibly non-existent inverse, any pair of adjoint functors restricts to an equivalence of categories on subcategories. These subcategories are sometimes known as the center of the adjunction, their objects are sometimes known as the fixed points? of the adjunction.
The equivalences of categories that arise from fixed points of adjunctions this way are often known as dualities. Examples include Pontrjagin duality, Gelfand duality, Stone duality, and the Isbell duality between commutative rings and affine schemes.
If is left adjoint to , then we take the fixed points of the endofunctor to be those objects of on which the counit is an isomorphism, and take the fixed points of to be those objects of on which the unit is an isomorphism. The triangle identities then imply that and induce an equivalence of categories between the full subcategories of fixed points of and the fixed points of .