An absolute colimit is a colimit which is preserved by any functor whatsoever. In general this happens because the colimit is a colimit for purely “diagrammatic” reasons. The notion is most important in enriched category theory.
Of course, there is a dual notion of absolute limit, but it is used less frequently.
The term “absolute colimit” is actually used for two closely related, but distinct, notions.
A particular colimit diagram in a particular category is an absolute colimit if it is preserved by every functor with domain .
This definition makes sense also in enriched category theory: for any , a weighted colimit in a particular -enriched category is an absolute colimit if it is preserved by every -functor with domain .
Note, however, that a conical colimit in a -category may be preserved by all -functors without being preserved by all unenriched functors on the underlying ordinary category .
Generalizing in a different direction, absolute colimits in -enriched categories can be regarded as the particular case of postulated colimit?s in sites where the site has the trivial topology.
For a given , a weight for colimits is an absolute weight, or a weight for absolute colimits, if -weighted colimits in all -categories are preserved by all -functors.
Absolute colimits of this sort are also called Cauchy colimits. A -category which admits all absolute colimits — that is, all -weighted colimits whose weights are absolute – is called Cauchy complete. By the characterization below, it is equivalent to admit limits weighted by all weights for absolute limits.
Both types of absolute colimits admit pleasant characterizations.
For a particular cocone under a functor (all in the Set-enriched world), the following are equivalent:
is an absolute colimiting cocone.
is a colimiting cocone which is is preserved by the Yoneda embedding .
is a colimiting cocone which is preserved by the representable functors (for all ) and .
There exists and such that
The equivalence of the first two is basically because the Yoneda embedding is the free cocompletion of . The third clearly follows from the second. The fourth follows from the third by inspecting exactly what preservation by those representables means in terms of colimits in Set (as is explained in more detail in the special case of absolute coequalizers). Finally, it is straightforward to check that the fourth implies that is colimiting, and it is clearly a property preserved by any functor.
Note that in particular, the fourth condition implies that is a retract of . Also, the first half of the fourth condition by itself characterizes absolute weak colimits.
It is also possible to prove directly that the third condition implies the first two, without extracting the fourth condition along the way. Namely, Let be the full subcategory of consisting of the objects and . Then defines a functor ; call it . Note that is also the colimit of in . Moreover, by the equivalence of the first two conditions, is an absolute colimit of , since by hypothesis it is preserved by all representable functors out of . Therefore, this colimit is in particular preserved by the inclusion , along with its composite with any functor out of ; so is an absolute colimit of .
Let be a Bénabou cosmos and a -profunctor. Then the following are equivalent:
is a weight for absolute colimits (i.e. -weighted colimits in any -category are preserved by all -functors)
has a right adjoint in the bicategory -Prof.
There is a weight such that -weighted colimits coincide naturally with -weighted limits.
Of course, every colimit weighted by a weight for absolute colimits is itself a particular absolute colimit. But it may also happen that a particular colimit may be absolute without all colimits of that shape being absolute. For example (in ordinary category theory, with ):
We can also say something about non-examples.
Initial objects (in -enriched categories) are never absolute. If is an initial object, then it is never preserved by the representable functor .
Similarly, coproducts in -enriched categories are never absolute.
In ordinary -enriched category theory there are not very many weights for absolute colimits, but we have
In fact, this example is “universal,” in that an ordinary category is Cauchy complete iff it has split idempotents, although not every absolute colimit “is” the splitting of an idempotent. More precisely, the class of absolute -limits is the saturation of idempotent-splittings.
In enriched category theory there can be more types of absolute colimits. For instance:
in categories with zero morphisms (that is, enriched over pointed sets), initial objects are absolute.
in Ab-enriched categories (or, more generally, categories enriched over commutative monoids), finite biproducts are absolute. Finite biproducts and splitting of idempotents together are “universal” absolute colimits for Ab-enrichment.
in SupLat-enriched categories, arbitrary small biproducts are absolute, and together with splitting of idempotents these generate all absolute colimits.
in dg-categories (or more generally, categories enriched over graded sets), shifts/suspensions and mapping cones are absolute.
in Lawvere metric spaces, limits of Cauchy sequences are absolute. This is the origin of the name “Cauchy colimit.”
in posets, suprema of subsets with a greatest element are absolute.
in categories enriched over the bicategory (or double category) of relations in a site, gluings are absolute. In this case the enriched categories can roughly be identified with separated presheaves and the Cauchy-complete ones with sheaves.
in categories enriched over rational vector spaces, quotients by finite group actions are absolute.
New kinds of absolute (co)limits also arise in higher category theory.
for (∞,1)-categories (enriched over -groupoids), splitting of idempotents is a universal absolute colimit.
in stable (∞,1)-categories (which are enriched, in the -categorical sense, over the -category of spectra), initial objects and pushouts are absolute, and therefore so are all finite colimits.
If is a functor, then a colimit in is -absolute if it is preserved by the nerve of . This generalises absoluteness, taking to be the identity functor.
Last revised on June 7, 2023 at 17:37:04. See the history of this page for a list of all contributions to it.