universal morphism
This is the morphism in the walking morphism , see there for details.
Satisfied Properties
Assigned properties
- is a monomorphism
- is an epimorphism
Deduced properties
- is constant
- is coconstant
- is a zero morphism
Unsatisfied Properties
Assigned properties
- is not a split monomorphism
Deduced properties*
- is not an isomorphism
- is not an extremal monomorphism
- is not a split epimorphism
- is not an extremal epimorphism
- is not a strong monomorphism
- is not a strong epimorphism
- is not a strict monomorphism
- is not a strict epimorphism
- is not a regular monomorphism
- is not a regular epimorphism
- is not an effective monomorphism
- is not a normal monomorphism
- is not an effective epimorphism
- is not a normal epimorphism
*This also uses the deduced satisfied properties.
Unknown properties
—