example of a non-strong extremal monomorphism
- Notation:
- Category: forked commutative square
This is the morphism from the forked commutative square, see details there. It provides an example of an extremal monomorphism which is not strong, and this is the only reason we have added this morphism and its category to the database.
Satisfied Properties
Assigned properties
- is an extremal monomorphism
- is constant
- is coconstant
Deduced properties
- is a zero morphism
- is a monomorphism
Unsatisfied Properties
Assigned properties
- is not a strong monomorphism
Deduced properties*
- is not a strict monomorphism
- is not a regular monomorphism
- is not a split monomorphism
- is not an effective monomorphism
- is not a normal monomorphism
- 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
*This also uses the deduced satisfied properties.
Unknown properties
—