Example Particular weighted limits [efr-K3YI]

If W(-) = * is constant at the point, and \mathbb {I} is an 1-category, then a weighted limit is simply a L \to D(i) in the underlying category \mathbb {C}_0 so that there is additionally an isomorphism of categories \mathbb {C}(X,L) \xrightarrow {\sim } \lim _i \mathbb {C}(X,D(I)). Note that this is stronger than just a limit in \mathbb {C}_0. We will refer to limits of this form by their ordinary names---speaking for example of pullbacks, products, and so on.

If I = *, D(*) = D \in \mathbb {C}, and W(*) = C \in \mathsf {Cat}, the universal property of the weighted limit is that \mathbb {C}(X, \lim ^W D) = \mathsf {Cat}(C, \mathbb {C}(X,D)). In this case we write C \pitchfork D for this limit if it exists, and call it a power of D by C.

If \mathbb {I} = \{A \to B \leftarrow C\} and the weighting is given by W(B) = \{1 \to 2\}, W(A) = \{1\}, W(B) = \{2\} (with the obvious inclusions), then the weighted limit is called the comma object and will be denoted D(A) \downarrow _{D(B)} D(C). Note that if \mathbb {C} = \mathsf {Cat} this is precisely the ordinary comma category.