Definition:Terminal Object

Definition
Let $\mathbf C$ be a metacategory.

A terminal object of $\mathbf C$ is an object $1 \in \mathbf C_0$ of $\mathbf C$ such that:


 * For all $C \in \mathbf C_0$, there is a unique morphism $C \to 1$.

Also see

 * Terminal Object is Unique
 * Initial Object