Definition:Enough Constants

Definition
Let $\mathbf C$ be a metacategory.

Then $\mathbf C$ is said to have enough constants iff:


 * For all morphisms $f,g : C \to D$ with $f \ne g$, there is a constant $c: 1 \to C$ such that $f \circ c \ne g \circ c$

Also see

 * Constant