Cat::SemiRng --
the category of semi-rings without unit
IntroductionCat::SemiRng represents the category of semi-rings without unit.
Generating the category
Cat::SemiRng()
Cat::AbelianMonoid,
Cat::Monoid,
DetailsCat::SemiRng is essentially a ring without unit (Cat::Rng),
except that the operation + (_plus) is not required to
be invertible. In other words, this is an abelian monoid
according to the operation + 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.
Cat::SemiRng is a new category
MuPAD Combinat, an open source algebraic combinatorics package