Universal property
Isomorphism theorem
Kernel
Equivalence relation
Function
Universal algebra
Homomorphism
Heyting algebra
C*-algebra
Mathematics
Abstract algebra
Category theory