Adjoint functors
Higher category theory
Functors
Monad
Topos
Olog
Natural transformation
Sheaf
Category of topological spaces
Category theory
Abstract algebra
Mathematics