Cat::Rng -- the category of rings
without unit
IntroductionCat::Rng represents the category of rings without
unit.
Generating
the categoryCat::Rng()
Cat::AbelianGroup
DetailsCat::Rng is a ring without a unit, i.e. an abelian
group according to the operation + (_plus) and a non-abelian semi-group
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.Ax::noZeroDivisors to state that
there are no zero divisors according to *, i.e. that the
product of non-zero elements never is zero.