map from the empty set
- Notation:
- Category: category of sets
- nLab Link
For every set there is a unique map , the empty map. In this entry, we require that is non-empty.
Satisfied Properties
Assigned properties
- is a monomorphism
Deduced properties
- is a regular monomorphism
- is a strict monomorphism
- is an effective monomorphism
- is a strong monomorphism
Unsatisfied Properties
Assigned properties
- is not a split monomorphism
Deduced properties*
- is not an isomorphism
- is not an epimorphism
- is not a strong epimorphism
- is not a regular epimorphism
- is not a strict epimorphism
- is not a split epimorphism
- is not an effective epimorphism
- is not a normal epimorphism
- is not a normal monomorphism
*This also uses the deduced satisfied properties.
Unknown properties
—