Lemma 4.22.6. Let $\mathcal{C}$ be a category. Let $M : \mathcal{I} \to \mathcal{C}$ be a diagram with filtered index category $\mathcal{I}$. The following are equivalent

1. $M$ is an essentially constant ind-object, and

2. $X = \mathop{\mathrm{colim}}\nolimits _ i M_ i$ exists and for any $W$ in $\mathcal{C}$ the map

$\mathop{\mathrm{colim}}\nolimits _ i \mathop{Mor}\nolimits _\mathcal {C}(W, M_ i) \longrightarrow \mathop{Mor}\nolimits _\mathcal {C}(W, X)$

is bijective.

Proof. Assume (2) holds. Then $\text{id}_ X \in \mathop{Mor}\nolimits _\mathcal {C}(X, X)$ comes from a morphism $X \to M_ i$ for some $i$, i.e., $X \to M_ i \to X$ is the identity. Then both maps

$\mathop{Mor}\nolimits _\mathcal {C}(W, X) \longrightarrow \mathop{\mathrm{colim}}\nolimits _ i \mathop{Mor}\nolimits _\mathcal {C}(W, M_ i) \longrightarrow \mathop{Mor}\nolimits _\mathcal {C}(W, X)$

are bijective for all $W$ where the first one is induced by the morphism $X \to M_ i$ we found above, and the composition is the identity. This means that the composition

$\mathop{\mathrm{colim}}\nolimits _ i \mathop{Mor}\nolimits _\mathcal {C}(W, M_ i) \longrightarrow \mathop{Mor}\nolimits _\mathcal {C}(W, X) \longrightarrow \mathop{\mathrm{colim}}\nolimits _ i \mathop{Mor}\nolimits _\mathcal {C}(W, M_ i)$

is the identity too. Setting $W = M_ j$ and starting with $\text{id}_{M_ j}$ in the colimit, we see that $M_ j \to X \to M_ i \to M_ k$ is equal to $M_ j \to M_ k$ for some $k$ large enough. This proves (1) holds. The proof of (1) $\Rightarrow$ (2) is omitted. $\square$

There are also:

• 2 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).