CatDat

Implication Details

Assumptions: essentially countable, thin, ℵ₁-filtered

Conclusions: terminal object

Proof: Let $\C$ be a thin, $\aleph_1$-filtered, and w.l.o.g. countable category. The identity diagram $\C \to \C$ admits a cocone. That is, there is an object $T$ with a morphism $A \to T$ for all $A \in \C$. Then $T$ is terminal.