This is machine translation

Translated by Microsoft
Mouse over text to see original. Click the button below to return to the English verison of the page.


Category of semi-groups


Cat::SemiGroup represents the category of semi-groups.

A Cat::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).

Note that Abelian semi-groups with operation + have category Cat::AbelianSemiGroup.


expand all

Basic Methods

_mult(x, …)

Mathematical Methods

_power(x, n)

Was this topic helpful?