\begin{definition}[Definition:Constant (Category Theory)]
Let $\mathbf C$ be a metacategory, and let $1$ be a terminal object of $\mathbf C$.
A '''constant of $\mathbf C$''' is a morphism $f: 1 \to C$ of $\mathbf C$ which has $1$ as its domain.
\end{definition}