Let be an adjunction with unit and counit . Then the following conditions are equivalent:
is a natural isomorphism.
is a natural isomorphism.
is a natural isomorphism — i.e. the monad induced by the adjunction is idempotent.
.
.
is a natural isomorphism.
is a natural isomorphism.
is a natural isomorphism — i.e. the comonad induced by the adjunction is idempotent.
.
.
The adjunction can be factored as a composite
where and are fully faithful, i.e. is a reflection and is a coreflection.
When these conditions hold, the adjunction is said to be idempotent.
For an idempotent adjunction as in def. , the functors and restrict to an equivalence of categories between the full images of and of (which are, respectively, a coreflective subcategory of and a reflective subcategory of , both equivalent to the in the last item above). In other words, for an idempotent adjunction, the category of fixed points has a particularly simple form.
If an idempotent adjunction is monadic, then (up to equivalence) it consists of the inclusion and reflection of a reflective subcategory (i.e. the algebras for an idempotent monad). Dually, if it is comonadic, it consists of the inclusion and coreflection of a coreflective subcategory. Thus, the primary interest in isolating the notion of idempotent adjunction is when considering adjunctions which are neither monadic nor comonadic.
Any adjunction between posets is idempotent. This is a central fact in the theory of Galois connections. Thus, in a sense, non-idempotent adjunctions are an important new idea arising by the “groupoidal” form of vertical categorification.
More generally, an adjunction in which the full image of either functor is a poset must be idempotent. This follows from conditions 4, 5, 9, and 10 above. This fact arises when constructing generalized kernels.
The “frame of opens” and “space of points” functors between topological spaces and locales form an idempotent adjunction. The resulting equivalence of categories is between sober spaces (which are reflective in Top) and spatial locales (which are coreflective in Loc).
For any topological space , there is an idempotent adjunction between the category of presheaves on and the category of spaces over (the right adjoint gives the presheaf of sections of a space over ). The resulting equivalence of categories is between sheaves in the modern sense of presheaves satisfying descent, and sheaves in the original sense as étalé spaces. See this blog post.
The material-structural adjunction between material set theories and structural set theories is idempotent. The fixed categories consist of the models satisfying appropriate versions of the axiom of foundation or anti-foundation.
The comma category construction forms part of an adjunction
between spans and cospans of categories whose feet are given by categories and . A construction of cocomma categories can be found in the MathOverflow post in the references. This adjunction is idempotent and factors into the reflection into discrete two-sided fibrations in the category and the coreflection from codiscrete cofibrations in .
A categorification of the notion of idempotent adjunction is that of lax-idempotent 2-adjunction.
In an adjoint triple, one of the adjunctions is idempotent if and only if the other one is; see there for the proof.
Last revised on January 18, 2020 at 23:40:11. See the history of this page for a list of all contributions to it.