Cat::Ring -- the category of
rings
IntroductionCat::Ring represents the category of rings.
Generating
the categoryCat::Ring()
Cat::Rng
, Cat::Monoid, Cat::LeftModule(dom)
DetailsCat::Ring is a ring with a unit
dom::one, i.e. an abelian group according to the operation
+ (_plus)
and a non-abelian monoid according to the operation *
(_mult) where in
addition the two distributive laws a (b + c) = a b + a c and
(a + b) c = a c + b c hold.Cat::Ring is also a left module over itself. The
left multiplication of the module is also writen as *
(_mult).Cat::Rng.Must hold the characteristic of this ring.