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 December 31, 2009 23:17:20
by Toby Bartels
(71.31.221.223)