List of category-theory notes:

• Inclusion subcategory
• Injective object
• Category of categories
• Types of morphisms
• Comma category
• Opposite category
• Casting in categories
• Hom-set
• Group action
• Slice categories
• Functors
• Definition of a category
• Category of models
• Category of fields
• Full and faithful functors
• Categories of graphs
• Category-homotopy analogy
• Equivalence of categories
• Conditions for finite completeness
• Subobject classifier
• Representable functor
• Functor category
• Natural transformations between representable functors
• Cones and limits
• Pushout and pullback
• Complete category
• Subobject
• The Yoneda lemma
• Diagonal functor
• Coproduct
• Coequalizer
• Universal arrow
• Yoneda Functor