forgetful functor from rings to monoids

 algebra  forgetful
Notation URing,Mon:Ring→MonU_{\Ring,\Mon}: \Ring \to \Mon Domain category of ringsCodomain category of monoidsLeft adjoint monoid ring functor Related URingU_{\Ring} External 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

Deduced properties*

*This also uses the deduced satisfied properties.

Unknown properties

—