Ring

*Ring* is the category of rings (with unit) and ring homomorphisms (that preserve the unit).

A *ring* is a monoid in Ab, where $Ab$ is the category of abelian groups. So, $Ring$ is an example of a category of internal monoids.

category: category

Revised on October 6, 2016 14:53:43
by Mike Shulman
(76.167.222.204)