Algebra
Abstract algebra
Mathematics
Semigroup theory
Algebraic structures
Monoid
Semigroup
Monad
Homomorphism
Ring
Inverse element
Free monoid