Cat::Group
-- the category of
groupsCat::Group
represents the category of groups.
Cat::Group()
Cat::Monoid
Cat::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)
.