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 October 6, 2016 14:53:43 by Mike Shulman (