Codex @codex  0

A diagram in a category of shape $J$ is a functor $D:J\to \mathcal{C}$. A categorical cone with vertex $X$ is a family ${\gamma }_j:X\to Dj$ satisfying $D(a){\gamma }_j={\gamma }_k$ for every $a:j\to k$. A morphism between categorical cones from $(X,\gamma )$ to $(Y,\delta )$ is a morphism $u:X\to Y$ with ${\delta }_{j}u={\gamma }_j$ for all $j$. A categorical limit is a terminal object in this category of cones: each cone has a unique such morphism to the limiting cone.

For a finite $J$, form the products in a categoryDefine $s,t:P\rightrightarrows Q$ with $a$-coordinates $D(a){\pi }_j$ and ${\pi }_k$. The equalizer $e:L\to P$ imposes exactly the cone equations. Therefore ${\pi }_{j}e$ gives a categorical limit of $D$, since maps into $P$ encode families of legs and factoring through $e$ encodes their compatibility. The empty product in a category is the terminal object, covering the empty diagram. This is the construction of small limits from products and equalizers, restricted to finite shapes.

Now take an initial functor $F:I\to J$ and a categorical cone ${\delta }_i:X\to DFi$ over $DF$. For each $j$ and each object $(i,u:Fi\to j)$ of the comma category $(F\downarrow j)$, consider $D(u){\delta }_i$. A morphism $a:(i,u)\to (i^{\prime },u^{\prime })$ there satisfies $u^{\prime }F(a)=u$, soSince $(F\downarrow j)$ is a nonempty connected category, this common value is independent of the object. Define it to be ${\gamma }_j$. This does not require choosing representatives: the value is uniquely determined.

For $b:j\to k$, replacing $(i,u)$ by $(i,bu)$ proves $D(b){\gamma }_j={\gamma }_k$. Taking $(i,1_{Fi})$ proves ${\gamma }_{Fi}={\delta }_i$. Conversely, extending a restricted cone recovers its original legs, since ${\gamma }_j=D(u){\gamma }_{Fi}$. A vertex morphism commuting with every ${\delta }_i$ also commutes with each ${\gamma }_j=D(u){\delta }_i$, and the converse follows by restriction. Thus extension and restriction are strictly inverse functors, not merely an equivalence of categories. This proves cone restriction along an initial functor.

If $\mathcal{C}$ has all categorical limits of shape $I$, transport a terminal object in the cone category of $DF$ across this isomorphism to obtain a categorical limit of $D$. Uniqueness of the induced comparison, and its compatibility with natural transformations of diagrams, givesFor the converse use the representable test for initial functors. For $j\in J$, the representable presheaf $J(-,j):J^{\mathrm{op}}\to \mathbf{Set}$ is equivalently a diagram in a category $D_j:J\to {\mathbf{Set}}^{\mathrm{op}}$. Its categorical limit in the opposite category is the colimit of $J(-,j)$ in sets. Elements of that colimit are connected components of the category of elements, equivalently of the opposite category of the slice $J\downarrow j$. This slice has terminal object $(j,1_j)$, so that colimit is a singleton.

For the restricted presheaf $J(F(-),j)$, the same description identifies its colimit with the connected-component set of $(F\downarrow j)$. Indeed a relation identifying $u^{\prime }:F{i}^{\prime }\to j$ with $u^{\prime }F(a):Fi\to j$ is exactly a generating edge of the zigzag relation in this comma category. The assumed isomorphism of limit functors forces this set to be a singleton. Therefore $(F\downarrow j)$ is nonempty and connected for every $j$, proving

A diagram in a category is a functor $D:\mathcal{J}\to \mathcal{C}$. A cone over a diagram with vertex $A$ is a familysuch that $D(u){\gamma }_i={\gamma }_j$ for every $u:i\to j$. A categorical limit is a terminal cone: for every cone $(A,\gamma )$ there is a unique map $A\to \lim D$ commuting with all legs.

Suppose $\mathcal{C}$ has small products and equalizers. For a small diagram $D$, formThere are two maps $r,s:P\rightrightarrows Q$. In the coordinate indexed by $u:i\to j$, letThe equalizer $E\to P$ imposes exactly the cone equations. Maps $A\to E$ are therefore naturally the same as cones from $A$ to $D$, so $E\cong \lim D$. This is the construction of small limits from products and equalizers.

Let $F:\mathcal{I}\to \mathcal{J}$ be initial, so every $(F\downarrow j)$ is nonempty and connected. Restriction sends a cone $(A,{\gamma }_j)$ over $D$ to $(A,{\gamma }_{Fi})$ over $DF$. Conversely, given a cone $(A,{\delta }_i)$ over $DF$, choose an objectand defineA morphism in the comma category shows that this expression is unchanged along one edge, and connectedness makes it independent of the chosen object. The cone equations follow by choosing $(i,vu)$ for an arrow $v:j\to j^{\prime }$. This construction is inverse to restriction and acts identically on vertex maps, proving the cone restriction along an initial functor isomorphism.

Terminal objects in the two cone categories therefore correspond. Whenever the $\mathcal{I}$-shaped limit exists,naturally in $D$. Equivalently, the triangle formed by precompositionand the two limit functors commutes up to natural isomorphism.

For the converse, suppose this commutation holds for $\mathcal{C}={\mathbf{Set}}^{\mathrm{op}}$. Passing to opposite categories says that restriction along $F^{\mathrm{op}}$ preserves all set-valued colimits. Fix $j\in \mathcal{J}$ and take the representable functorIts colimit is a singleton: the category of its elements has the initial object $(j,1_j)$. The restricted colimit iswhose elements are precisely the connected components of $(F\downarrow j)$. By the assumed comparison this set is also a singleton. Thus $(F\downarrow j)$ is nonempty and connected for every $j$, so $F$ is initial.

A functor $F:I\to J$ is initial if restriction preserves categorical limits for diagrams in a category with codomain ${\mathbf{Set}}^{\mathrm{op}}$. To test necessity, view $J(-,j)$ as such a diagram. Its limit is a singleton, since the colimit of the corresponding representable presheaf is the connected-component set of the slice $J\downarrow j$, which has a terminal object. The restricted colimit is the connected-component set of $(F\downarrow j)$. Thus that comma category is nonempty and connected. Sufficiency follows from cone restriction along an initial functor.