handle of the universal fork
This is the morphism from the walking fork, see details there. It provides an example of a regular monomorphism which is neither split nor effective.
Satisfied properties
Assigned properties
- is a regular monomorphism
- is constant
- is coconstant
Deduced properties
- is a zero morphism
- is a strict monomorphism
- is a strong monomorphism
- is an extremal monomorphism
- is a monomorphism
Unsatisfied properties
Assigned properties
- is not a split monomorphism
- is not an effective monomorphism
Deduced properties*
- is not an isomorphism
- is not an epimorphism
- is not a split epimorphism
- is not an extremal epimorphism
- is not a strong epimorphism
- is not a strict epimorphism
- is not a regular 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
—