Algebra
Mathematics
Abstract algebra
Category theory
Universal algebra
Boolean algebra
Mathematical logic
Adjoint functors
F-algebra
Variety
Monad
Sigma-algebra