embedding of integers into rational numbers
The inclusion is a typical example of a localization. It is a standard example of a mono- and epimorphism which is not an isomorphism in the category of (commutative) rings.
Satisfied properties
Assigned properties
- is a monomorphism
- is an epimorphism
- is coconstant
Deduced properties
—
Unsatisfied properties
Assigned properties
- is not an isomorphism
- is not constant
Deduced properties*
- is not a zero morphism
- is not a split monomorphism
- 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
—