inclusion of positive numbers
This is the inclusion map inside the category of smooth manifolds. It provides an example of an extremal monomorphism that is not strong.
Satisfied Properties
Assigned properties
- is an extremal monomorphism
Deduced properties
- is a monomorphism
Unsatisfied Properties
Assigned properties
- is not a strong monomorphism
- is not constant
- is not coconstant
Deduced properties*
- is not a zero morphism
- 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
—