Category of monoids
MuPAD® notebooks are not recommended. Use MATLAB® live scripts instead.
MATLAB live scripts support most MuPAD functionality, though there are some differences. For more information, see Convert MuPAD Notebooks to MATLAB Live Scripts.
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
Must hold the neutral element according to the operation
_invert— Return inverse
isone— Test if element is one
_power— Raise to the
This implementation does “repeated squaring”.