A semi-left-exact reflection (also called a locally cartesian reflection) is a reflector into a reflective subcategory that preserves some pullbacks. It fits into a hierarchy of left-exactness properties for reflectors:
left exact stable units? semi-left-exact simple
In particular, semi-left-exactness is sufficient to imply that the corresponding reflective factorization system exists and can be constructed in one step, and that the reflective subcategory inherits local cartesian closure from the ambient category.
Let be a category with finite limits, and a full reflective subcategory with reflector . Let be the class of morphisms inverted by , and let be the class of morphisms right orthogonal to , i.e. is the associated reflective prefactorization system.
The following is a combination of Theorems 4.1 and 4.3 from CHK with Proposition 1.3 from GK.
The following are equivalent:
They all imply that is a factorization system and that the factorization of an arbitrary morphism can be constructed as the following pullback:
If these conditions hold, we say that the reflector is semi-left-exact.
Since all morphisms in are -morphisms, (1)(2) and (4)(5), while (2)(3) since the reflection units are in . And since consists of the -inverted morphisms, (5)(2) and (4)(1). And clearly (6)(2); while for the action of on a morphism in is the latter’s pullback along a pullback of , and any pullback of lies in ; thus (1)(6). So to complete the equivalence of (1)-(6) it will suffice to show that (3) implies (4).
First we prove that (3) implies the factorization exists. For in the diagram above is a pullback of the unit along the morphism in , hence ; so by 2-out-of-3 , while since is closed under pullback and .
Now this construction implies that if then is invertible, hence the naturality square for at is a pullback. Now if we want to pull back some along an -morphism , we can paste two pullback squares to obtain a large pullback rectangle:
Since by naturality, we can now factor this pullback rectangle through the pullback of along :
so that the left-hand square is also a pullback. But this is a pullback of the reflection unit along the map that lies in (since is closed under pullbacks). Thus by (3) the map lies in , and hence exhibits as . The right-hand pullback square above is then applied to the given pullback square, so that indeed preserves this pullback, i.e. (4) holds.
Finally, if is locally cartesian closed, then (6) implies (7) by adjointness, while (7) implies (5) in the form by passage to right-adjoint mates.
Of course, if preserves all pullbacks (i.e. it is left exact?), then it is semi-left-exact. The statement about the existence of the reflective factorization system implies that any semi-left-exact reflection is simple.
Note that for any , the functor has a right adjoint given by pullback along . Condition (3) above then says that the counit of this adjunction is an isomorphism, which is to say that this right adjoint is fully faithful. In this form, semi-left-exactness is equivalent to (a particular case of) the notion of admissible reflection in categorical Galois theory.
Cassidy and Hébert and Kelly, “Reflective subcategories, localizations, and factorization systems”. J. Austral. Math Soc. (Series A) 38 (1985), 287–329 (pdf)
David Gepner and Joachim Kock, Univalence in locally cartesian closed categories, arxiv:1208.1749
Last revised on July 10, 2022 at 09:45:00. See the history of this page for a list of all contributions to it.