A class of limits is saturated if it is closed under the “construction” of other limits out of limits in .
Let be a Bénabou cosmos, and let be a class of -functors where is a small -category. Note that the domain may be different for different elements of .
Any such can serve as a weight for defining the weighted limit of a -functor , for any -category . We say that a -category is -complete if it admits all such limits, for all , and that a -functor between -complete -categories is -continuous if it preserves all such limits.
The saturation of is the class of all weights (with small) such that
It is an open question whether the second condition is implied by the first in general.
Finally, is saturated if it is its own saturation.
When , we frequently discuss only conical limits, i.e. limits whose weight is the constant functor at the terminal set. These give the classical notion of limit in a category.
In this case, we may consider instead classes of small categories; we write for the class of weights . We say that a category lies in the saturation of if the weight lies in the saturation of , and that is saturated if it is its own saturation.
Note that in practically all cases, the saturation of will contain weights that are not of the form . Moreover, even when there are nontrivial saturated classes of weights that do not contain any nontrivial conical weights, such as the saturation of the weight for “cartesian squares” .
However, for conical weights the answer to the above open question is known to be affirmative. On the one hand, if is a class of -weights such that every -complete category is also -complete, then every -continuous functor is also -continuous. See AK for a proof of this.
On the other hand, if is a class of -categories and is a -weight such that every -complete category is also -complete, then every -continuous functor is also -continuous. In fact, this is still true if instead of we consider a class of weights all of which take only nonempty sets as values. See KP for a proof of this.
The main theorem of AK (which introduced the notion under the name “closure”) is the following.
lies in the saturation of if and only if it lies in the closure of the representables under -weighted colimits in .
The following examples are all for , restricted to the conical case.
The class of small products is not saturated; its saturation includes all where has local initial objects. Similarly, the class of finite products is not saturated; the saturation of this coincides with the saturation of the finite class containing only terminal objects and binary products.
The class of L-finite limits is saturated with respect to conical weights (but not in the sense of the definition above); it is the saturation of the class of finite limits. It is also the saturation of the finite class containing only terminal objects and pullbacks, and the saturation of the class containing only finite products and equalizers.
The class of connected limits is saturated with respect to conical weights. It is the saturation of the class consisting of wide pullbacks and equalizers. Similarly, the class of L-finite connected limits is the saturation of the finite class of pullbacks and equalizers. See also pullback and wide pullback for their saturations.
There are also interesting examples for other .
When , the classes of PIE-limits, flexible limits, and semiflexible limits are saturated. The first class is, essentially by definition, the saturation of the class containing products, inserters, and equifiers. The second class can be proven to be the saturation of the class containing products, inserters, equifiers, and splitting of idempotents. A similar characterisation of the third is not known.
When is the category of fully faithful functors, so that a -category is an F-category, the class of -rigged weights is saturated (for any of , , or denoting pseudo, lax, or colax).
For any , the class of absolute colimits is saturated. When , this is the saturation of the splitting of idempotents.
It is also worth mentioning some non-examples.
For , the class of finite limits is not saturated; its saturation is the class of L-finite limits.
For , the class of strict pseudo-limits is not saturated; it does not even contain the representables. (The same is true for strict lax limits.) It is unclear precisely what its saturation looks like.
M. H. Albert and G. Max Kelly: The closure of a class of colimits, J. Pure. App. Alg. 51 (1988) 1-17 [doi:10.1016/0022-4049(88)90073-4]
Max Kelly and Robert Paré: A note on the Albert-Kelly paper ‘The closure of a class of colimits’, JPAA 51 (1988) 19-25 [doi;10.1016/0022-4049(88)90074-6]
G. Max Kelly and V. Schmitt, Notes on enriched categories with colimits of some class, Theory and Applications of Categories 14 (2005) 399–423 [tac:14-17arXiv:math/0501383]
Charles Rezk, Free colimit completion in -categories &lbrackarXiv:2210.08582&rbrack (2022).
Last revised on July 2, 2024 at 20:14:29. See the history of this page for a list of all contributions to it.