universal split epimorphism
This is the morphism in the walking splitting, see there for details. It can also be seen as the unique morphism in the category of -vector spaces of dimension . It provides a basic example of a split epimorphism (and hence regular and strict epimorphism) which is not effective.
Satisfied properties
Assigned properties
- is a split epimorphism
- is a zero morphism
Deduced properties
- is coconstant
- is constant
- is a regular epimorphism
- is a strict epimorphism
- is a normal epimorphism
- is a strong epimorphism
- is an extremal epimorphism
- is an epimorphism
Unsatisfied properties
Assigned properties
- is not an effective epimorphism
Deduced properties*
- is not an isomorphism
- is not a split monomorphism
- is not a monomorphism
- is not an extremal monomorphism
- is not a strong monomorphism
- is not a strict monomorphism
- is not a regular monomorphism
- is not an effective monomorphism
- is not a normal monomorphism
*This also uses the deduced satisfied properties.
Unknown properties
—