Logic
Institution
Algebraic structure
Structure
Interpretation
First-order logic
Functor
Sheaf
Adjoint functors
Mathematics
Model theory
Mathematical logic