Cat::SemiGroup -- the category
of semi-groups
IntroductionCat::SemiGroup represents the category of
semi-groups.
Generating
the categoryCat::SemiGroup()
Cat::BaseCategory
DetailsCat::SemiGroup represents the category of
non-abelian semi-groups, where the group operation is written as
multiplication. Hence a Cat::SemiGroup is a set with an
associative operation * (_mult).+ have
category Cat::AbelianSemiGroup._mult(dom x...)_power(dom x, Type::PosInt n)n-fold product of x. The
implementation provided does ``repeated squaring''.