CatDat

Implication Details

Assumptions: essentially finite, filtered, thin

Conclusions: terminal object

Proof: Let $\C$ be a thin, filtered, and w.l.o.g. finite 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.