nLab
fixed point of an adjunction

Contents

Idea

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.

Definition

If L:๐’ŸโŸถ๐’žL \colon \mathcal{D} \longrightarrow \mathcal{C} is left adjoint to R:๐’žโŸถ๐’ŸR \colon \mathcal{C} \longrightarrow \mathcal{D}, then we take the fixed points of the endofunctor FGF G to be those objects of ๐’ž\mathcal{C} on which the counit ฯต\epsilon is an isomorphism, and take the fixed points of GFG F to be those objects of ๐’Ÿ\mathcal{D} on which the unit ฮท\eta is an isomorphism. The triangle identities then imply that FF and GG induce an equivalence of categories between the full subcategories of fixed points of FGF G and the fixed points of GFG F.

Revised on September 3, 2015 18:31:53 by Urs Schreiber (195.82.63.198)