- natural transformation
- Yoneda embedding
- Yoneda lemma
- adjunction
- monad
- Limit and Colimit
- Cartesian closed category
- Monoidal category
- Symmetric monoidal category
-
Pushout
- Limit definition
-
pullback
- Limit definition
-
equivalence of categories
- Need to state this precisely!