(equivalent conditions for idempotency)
Let be an adjunction with unit and counit . Then the following conditions on their whiskering are equivalent:
is a natural isomorphism.
is a natural isomorphism.
is a natural isomorphism — i.e. the monad induced by the adjunction is an idempotent monad.
.
.
is a natural isomorphism.
is a natural isomorphism.
is a natural isomorphism — i.e. the comonad induced by the adjunction is an idempotent comonad.
.
.
The adjunction factors through its fixed points as
where and are fully faithful, i.e. is a reflection and is a coreflection.
(idempotent adjunction)
When the equivalent conditions from Prop. hold, the adjunction is said to be idempotent.
An original reference for the equivalence of all but the last of these conditions is MacDonald & Stone 1982, Prop. 2.8; a textbook account is in Grandis 2021, Thm. 3.8.2. The full statement including the (co)reflective factorization through the fixed points is made explicit in the proof of Grandis 2021, Thm. 3.8.7, which also makes explicit that:
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 in Prop. . This fact arises when constructing generalized kernels.
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.
((co)comma construction)
The comma category construction forms part of an adjunction
between spans and cospans of categories whose feet are given by categories and (Shulman 2016). This adjunction is idempotent and factors into the reflection into discrete two-sided fibrations in the category and the coreflection from codiscrete cofibrations in .
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 slice category of TopologicalSpaces 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.
(adjunction between topological spaces and diffeological spaces)
There is a pair of adjoint functors
between the categories of TopologicalSpaces and of DiffeologicalSpaces, where
takes a topological space to the continuous diffeology, namely the diffeological space on the same underlying set whose plots are the continuous functions (from the underlying topological space of the domain ).
takes a diffeological space to the diffeological topology (D-topology), namely the topological space with the same underlying set and with the final topology that makes all its plots into continuous functions: called the D-topology.
Hence a subset is an open subset in the D-topology precisely if for each plot the preimage is an open subset in the Cartesian space .
Moreover:
the fixed points of this adjunction TopologicalSpaces (those for which the counit is an isomorphism, hence here: a homeomorphism) are precisely the Delta-generated topological spaces (i.e. D-topological spaces):
this is an idempotent adjunction, which exhibits -generated/D-topological spaces as a reflective subcategory inside diffeological spaces and a coreflective subcategory inside all topological spaces:
Finally, these adjunctions are a sequence of Quillen equivalences with respect to the:
classical model structure on topological spaces | model structure on D-topological spaces | model structure on diffeological spaces |
Caution: There was a gap in the original proof that . The gap is claimed to be filled now, see the commented references here.
Essentially these adjunctions and their properties are observed in Shimakawa, Yoshida & Haraguchi 2010, Prop. 3.1, Prop. 3.2, Lem. 3.3, see also Christensen, Sinnamon & Wu 2014, Sec. 3.2. The model structures and Quillen equivalences are due to Haraguchi 13, Thm. 3.3 (on the left) and Haraguchi-Shimakawa 13, Sec. 7 (on the right).
We spell out the existence of the idempotent adjunction (2):
First, to see we have an adjunction , we check the hom-isomorphism (here).
Let and . Write for the underlying sets. Then a morphism, hence a continuous function of the form
is a function of the underlying sets such that for every open subset and every smooth function of the form the preimage is open. But this means equivalently that for every such , is continuous. This, in turn, means equivalently that the same underlying function constitutes a smooth function .
In summary, we thus have a bijection of hom-sets
given simply as the identity on the underlying functions of underlying sets. This makes it immediate that this hom-isomorphism is natural in and and this establishes the adjunction.
Next, to see that the D-topological spaces are the fixed points of this adjunction, we apply the above natural bijection on hom-sets to the case
to find that the counit of the adjunction
is given by the identity function on the underlying sets .
Therefore is an isomorphism, namely a homeomorphism, precisely if the open subsets of with respect to the topology on are precisely those with respect to the topology on , which means equivalently that the open subsets of coincide with those whose pre-images under all continuous functions are open. This means equivalently that is a D-topological space.
Finally, to see that we have an idempotent adjunction, it is sufficient to check (by this Prop.) that the comonad
is an idempotent comonad, hence that
is a natural isomorphism. But, as before for the adjunction counit , we have that also the adjunction unit is the identity function on the underlying sets. Therefore, this being a natural isomorphism is equivalent to the operation of passing to the D-topological refinement of the topology of a topological space being an idempotent operation, which is clearly the case.
A categorification of the notion of idempotent adjunction is that of lax-idempotent 2-adjunction.
In an adjoint triple, one of the two adjoint pairs is idempotent if and only if the other one is; see there for more.
The characterization of idempotent adjunctions is proven/due to:
Textbook accounts:
See also:
The example of D-topological spaces inside topological/diffeological spaces is due to:
The example of the (co)comma adjunction is also mentioned in:
Last revised on August 29, 2024 at 20:24:46. See the history of this page for a list of all contributions to it.