Definition 4.22.1. Let $M : \mathcal{I} \to \mathcal{C}$ be a diagram in a category $\mathcal{C}$.

Assume the index category $\mathcal{I}$ is filtered and let $(X, \{ M_ i \to X\} _ i)$ be a cocone for $M$, see Remark 4.14.5. We say $M$ is

*essentially constant*with*value*$X$ if there exists an $i \in \mathcal{I}$ and a morphism $X \to M_ i$ such that$X \to M_ i \to X$ is $\text{id}_ X$, and

for all $j$ there exist $k$ and morphisms $i \to k$ and $j \to k$ such that the morphism $M_ j \to M_ k$ equals the composition $M_ j \to X \to M_ i \to M_ k$.

Assume the index category $\mathcal{I}$ is cofiltered and let $(X, \{ X \to M_ i\} _ i)$ be a cone for $M$, see Remark 4.14.5. We say $M$ is

*essentially constant*with*value*$X$ if there exists an $i \in \mathcal{I}$ and a morphism $M_ i \to X$ such that$X \to M_ i \to X$ is $\text{id}_ X$, and

for all $j$ there exist $k$ and morphisms $k \to i$ and $k \to j$ such that the morphism $M_ k \to M_ j$ equals the composition $M_ k \to M_ i \to X \to M_ j$.

Please keep in mind Lemma 4.22.3 when using this definition.

## Comments (0)

There are also: