Initial functor

A functor $F:\mathcal{I}\to \mathcal{J}$ is initial when every comma category $(F\downarrow j)$ is nonempty and connected. Restriction along an initial functor preserves limits:

For an initial functor $F:\mathcal{I}\to \mathcal{J}$, restriction gives an isomorphism between the category of cones over $D:\mathcal{J}\to \mathcal{C}$ and that over $DF$. Given a cone over $DF$, choose $(i,u:Fi\to j)$ and define its $j$-leg as $D(u){\gamma }_i$; connectedness of $(F\downarrow j)$ makes the result independent of the choice.