Implication Details
Claim: A morphism is coconstant and is constant if and only if it is a zero morphism.
Proof: This holds by definition.
Show 11 morphisms using this implication
- map from the empty set
- example of a non-strong extremal monomorphism
- handle of the universal fork
- identity map of a group
- identity map of a set
- inclusion of positive numbers
- embedding of integer into rational numbers
- map into the singleton set
- universal morphism
- universal split epimorphism
- presentation of the walking idempotent