Proof.
Assume (2) holds. Then $\text{id}_ X \in \mathop{\mathrm{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{\mathrm{Mor}}\nolimits _\mathcal {C}(W, X) \longrightarrow \mathop{\mathrm{colim}}\nolimits _ i \mathop{\mathrm{Mor}}\nolimits _\mathcal {C}(W, M_ i) \longrightarrow \mathop{\mathrm{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{\mathrm{Mor}}\nolimits _\mathcal {C}(W, M_ i) \longrightarrow \mathop{\mathrm{Mor}}\nolimits _\mathcal {C}(W, X) \longrightarrow \mathop{\mathrm{colim}}\nolimits _ i \mathop{\mathrm{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$
Comments (1)
Comment #8282 by Et on
There are also: