Definition:Enough Constants

Definition

Let $\mathbf C$ be a metacategory.

Then $\mathbf C$ is said to have enough constants if and only if:

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

• Definition:Constant (Category Theory)

Sources

• 2010: Steve Awodey: Category Theory (2nd ed.) ... (previous) ... (next): $\S 2.3$: Example $2.12$: $1$