Formal languages
Semigroup theory
Monoid
Free monoid
Trace monoid
Regular language
Trace theory
Abstract algebra
Category theory
Mathematics