Definition:Enough Constants
Jump to navigation
Jump to search
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
Sources
- 2010: Steve Awodey: Category Theory (2nd ed.) ... (previous) ... (next): $\S 2.3$: Example $2.12$: $1$