Algebraic structures
Category theory
Order theory
Semigroup theory
Limit
Coproduct
Cardinal number
Product
Complete Heyting algebra
Quotient group
Equivalence class
Monoid