Lemma 4.22.13. Let $\mathcal{C}$ be a category. Let $H : \mathcal{I} \to \mathcal{J}$ be a functor of cofiltered index categories. If $H$ is initial, then any diagram $M : \mathcal{J} \to \mathcal{C}$ is essentially constant if and only if $M \circ H$ is essentially constant.
Proof. This follows formally from Lemmas 4.22.10, 4.17.4, 4.17.2, and the fact that if $\mathcal{I}$ is initial in $\mathcal{J}$, then $\mathcal{I}^{opp}$ is cofinal in $\mathcal{J}^{opp}$. $\square$
Comments (0)
There are also: