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

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

category: category

Revised on December 31, 2009 23:17:20 by Toby Bartels (