Cat::Ring
-- the category of
ringsCat::Ring
represents the category of rings.
Cat::Ring()
Cat::Rng
, Cat::Monoid
, Cat::LeftModule(dom)
Cat::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.