Formal languages
Category theory
Algebraic structures
Automata theory
Syntactic monoid
Semiautomaton
Monoid
Semigroup
Quasigroup
Abstract algebra
Algebra
Semigroup theory