Definition:Constant (Category Theory)

Definition
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.

Also known as
Among the various other names for this concept are global element (of $C$) and point (of $C$).

Compare variable element.

Also see

 * Variable Element
 * Enough Constants