Let be an adjunction with unit and counit . Then the following conditions are equivalent:
When these conditions hold, the adjunction is said to be idempotent. It then follows that and restrict to an equivalence of categories between the full images of and of (which are, respectively, a reflective subcategory of and a coreflective subcategory of ).
Note that 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.