Cat::Group -- the category of
groups
IntroductionCat::Group represents the category of groups.
Generating
the categoryCat::Group()
Cat::Monoid
DetailsCat::Group is a non-abelian monoid where the group
operation * (_mult) is invertible._divide(dom x, dom
y)x/y by computing
x*y^(-1).