 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: