Category
Functor
Natural transformation
equivalence of categories (def + thm)
Yoneda
Initial, terminal objects
Product, coproduct
quotient
Fraction
Reflection
free object
limit/colimit
pullback/pushout
tensor
adjoint (def + thm)
tensor product
symmetric algebra
exterior power