Lemma 4.22.13 (0A1T)—The Stacks project

Processing math: 100%

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:

10 comment(s) on Section 4.22: Essentially constant systems

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$ ). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Comments (0)

Post a comment