Cat::SemiRng
--
the category of semi-rings without unit
Cat::SemiRng
represents the category of semi-rings without unit.
Cat::SemiRng()
Cat::AbelianMonoid
,
Cat::Monoid
,
Cat::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