forgetful functor from rings to monoids
- notation: : →
- Source: category of rings
- Target: category of monoids
- Left adjoint:
- Related functors:
- nLab Link
This functor maps a ring to its underlying multiplicative monoid, which as "forgotten" the addition of the ring.
Satisfied Properties
Assigned properties
Deduced properties
Unsatisfied Properties
Assigned properties
- does not preserve initial objects
- is not essentially injective
- is not essentially surjective
- does not preserve epimorphisms
- does not preserve coequalizers
- is not representable
Deduced properties*
- is not an equivalence
- is not full
- is not left-invertible
- does not preserve finite coproducts
- is not right exact
- is not exact
- is not cocontinuous
- does not preserve coproducts
- is not a left adjoint
- is not comonadic
*This also uses the deduced satisfied properties.
Unknown properties
—