Cat::Monoid represents the category of monoids.
Cat::Monoid is a non-Abelian semi-group with
a neutral element one (dom::one) according to the
group operation * (_mult).
Must hold the neutral element according to the operation *.
This implementation does "repeated squaring".
Was this topic helpful?