Definition:Enough Constants

From ProofWiki
Jump to navigation Jump to search


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