CatDat

Implication Details

Claim: If a category is essentially finite and is filtered and is thin, then it has a 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.