Definitions
Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
In general, a 2-limit is the sort of limit appropriate in a (weak) 2-category. However, when we happen to be in a strict 2-category we also have another notion at our disposal:
Since strict 2-categories are equivalently categories enriched over Cat (i.e. over the very large 1-category of categories with functors between them), we can apply the usual notions of weighted limits in enriched categories verbatim to speak of certain 2-limits (Street 1976, Kelly 1989). Here we refer to these Cat-enriched weighted limits as strict 2-limits. (Beware that, historically, these were called 2-limits while the properly 2-category-theoretic limits were called bilimits.)
Because enriched category theory doesn’t know anything about the 2-category theoretic nature of Cat, the resulting strict 2-limits can have cones that commute strictly and have universal properties expressed by isomorphisms of categories (instead of equivalences of categories); thus they can violate the 2-category theoretic principle of equivalence.
However, strict 2-limits often turn out to be technically useful even if one is ultimately interested only in weak 2-limits, since in many situations strict 2-limits may serve as stepping stones for the construction of weak 2-limits. This is reminiscent of the use of strict structures in homotopy theory as a tool to get at weak ones, and in fact a precise comparison can be made (see below).
By a limit we will mean the fully 2-categorical notion described at 2-limit, in which cones commute up to invertible 2-morphisms and the universal property is expressed by an equivalence of categories.
It just occurred to me that ‘strict initial object’ conflicts with this. But unlike ‘weak limit’, that doesn’t generalise very far.
Heh, you’re right. I suppose we could try calling strict initial objects stable initial objects, which would make more sense anyway since they are really the 0-ary version of a stable coproduct. But there’s probably not likely to be any real confusion created by the two uses of strict.
A strict 2-limit (or just strict limit) in a strict 2-category is just a Cat-enriched weighted limit. This means that its cones must commute strictly (although weakness can be built in via the weighting, see below), and its universal property is expressed by an isomorphism of categories. Note that a strict limit is not necessarily a limit, because it may violate the principle of equivalence. (cf. red herring principle.)
A pseudo limit (or strict pseudo limit if it is necessary to emphasize the strictness) is a limit whose cones commute up to coherent 2-cell isomorphism, but whose universal property can still be expressed by an isomorphism of categories. For any weight , there is another weight (a cofibrant replacement of ) such that pseudo -weighted limits are equivalent to strict -weighted ones. The idea is that includes explicitly all the extra isomorphisms in a pseudo -cone. Since any isomorphism of categories is a fortiori an equivalence of categories, any pseudo limit is also a limit.
A strict lax limit is a limit whose cones commute only up to a coherent transformation in one direction, but again whose universal property is expressed by an isomorphism. Likewise we have strict oplax limits where the transformation goes in the other direction. Strict lax and oplax limits can also be rephrased as strict (non-lax) limits for a different weight. As in the pseudo case, any strict (op)lax limit is also an (op)lax limit.
More generally, any strict limit that respects the principle of equivalence (one which doesn’t demand equality of objects) will also be a limit. The strict limits corresponding to non-strict limits are precisely the semiflexible limits: in particular, this includes the flexible limits and the PIE-limits. In particular, any strict flexible limit is also a limit. Since pseudo limits are PIE-limits, it follows that any strict 2-category which admits (strict) PIE-limits also admits all limits, even if it fails to admit some equivalence-violating strict limits. The category of algebras and pseudo morphisms for any 2-monad, such as MonCat, is a good example of a 2-category having strict PIE-limits but not all strict limits.
If there is a model category structure on the 1-category underlying the given strict 2-category , then in addition to whatever 2-categorical notions of limit exist in , there is the notion of homotopy limits in . If is a model 2-category with the “trivial” or “natural” model structure constructed in (Lack 2006), then these two notions coincide (Gambino 2007). For example, this is the case in Cat and Grpd, so the examples listed at homotopy limit are also examples of pseudo limits. In general, homotopy limits in a model 2-category give (non-strict) limits in its “homotopy 2-category.”
Any ordinary 1-limit can be made into a strict 2-limit simply by boosting up its ordinary universal property (a bijection of sets) to an isomorphism of hom-categories. Thus we have strict products, strict pullbacks, strict equalizers, and so on. Of these, strict products (including terminal objects) respect the 2-category theoretic principle of equivalence (and thus are also 2-limits), while others such as pullbacks and equalizers tend to violate the 2-category theoretic principle of equivalence.
For example, a strict terminal object is an object 1 such that is isomorphic to the terminal category, for any object .
Likewise, a strict product of and is an object with projections and such that (1) given any and , there exists a unique such thath and (equal, not isomorphic) (i.e. is a product in the underlying 1-category), and (2) given any and and , there exists a unique such that and .
As mentioned above, adding pseudo in front of an ordinary limit has a precise meaning: it means that all the triangles in the limit cone now commute up to specified isomorphism, and the universal property is still expressed by an isomorphism of categories. In particular, there is still a specified projection to each object in the diagram. For example:
The pseudo pullback of a cospan is a universal object equipped with projections , , and and 2-cell isomorphisms and .
The pseudo equalizer of a pair of arrows is a universal object equipped with morphisms and and 2-cell isomorphisms and .
These are to be distinguished from:
The iso-comma object of is a universal object equipped with projections and and a 2-cell isomorphism .
The iso-inserter of is a universal object equipped with a morphism and a 2-cell isomorphism .
The pseudo pullback, pseudo equalizer, iso-comma object, and iso-inserter are all strict Cat-weighted limits; their universal property is expressed by an isomorphism of categories. Usually the pseudo pullback and iso-comma object are not isomorphic, and likewise the pseudo equalizer and iso-inserter are not isomorphic. However, both the pseudo pullback and iso-comma object respect the principle of equivalence and represent a pullback; therefore they are equivalent when they both exist. Likewise, the pseudo equalizer and iso-inserter both represent an equalizer, and are equivalent when they both exist.
If one is mostly interested in (non-strict) limits, then there is little harm in using “pseudo pullback” to mean “iso-comma object” or “pullback,” as is common in the literature. However, with lax limits the situation is more serious. Speaking precisely, in the lax version of a limit, the triangles in the limiting cone are made to commute up to a specified transformation in one direction, but there are still specified projections to each object in the diagram. For example:
The strict lax limit of an arrow is a universal object equipped with projections and and a 2-cell .
The strict lax pullback of a cospan is a universal object equipped with projections , , , and 2-cells and .
In particular, the strict lax pullback in the following list of examples is quite different from the following more common limit.
Even in their non-strict forms, the lax pullback and comma object are distinct. Usually the comma object is the more important one, but calling it a “lax pullback” should be avoided.
Here are some more important examples of 2-limits, all of which come in strict and weak forms and respect the principle of equivalence.
The inserter of a pair of parallel arrows is a universal object equipped with a map and a 2-cell .
The equifier of a pair of parallel 2-cells is a universal object equipped with a map such that .
The inverter of a 2-cell is a universal object with a map such that is invertible.
The power of an object by a category is a universal object equipped with a functor .
Original articles on Cat-enriched weighted limits:
Ross Street, Limits indexed by category-valued 2-functors, Journal of Pure and Applied Algebra Volume 8, Issue 2, June 1976, Pages 149-181 (doi:10.1016/0022-4049(76)90013-X)
Max Kelly, Elementary observations on 2-categorical limits, Bulletin of the Australian Mathematical Society, 39(2), 301-317 (doi:10.1017/S0004972700002781, pdf)
Review and list of examples:
Steve Lack, around Sec. 6.8 in: A 2-categories companion, In: Baez J., May J. (eds.) Towards Higher Categories. The IMA Volumes in Mathematics and its Applications, vol 152. Springer 2010 (arXiv:math.CT/0702535, doi:10.1007/978-1-4419-1524-5_4)
Niles Johnson, Donald Yau, Section 5.3 of: 2-Dimensional Categories, Oxford University Press 2021 (arXiv:2002.06055, doi:10.1093/oso/9780198871378.001.0001)
See also:
Steve Lack, Homotopy theoretic aspects of 2-monads (arXiv:math.CT/0607646).
Nicola Gambino, Homotopy limits for 2-categories (pdf)
Last revised on June 12, 2024 at 09:41:00. See the history of this page for a list of all contributions to it.