Cat::SemiGroup

Category of semi-groups

Description

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.

Methods

expand all

Basic Methods

Mathematical Methods

Was this topic helpful?