Category Natural Transformation Hom-Functor Representable Representation Yoneda Embedding Yoneda Lemma Product Coproduct Equalizer Coequalizer Separating Family Detecting Family Projective Injective Adjunction Counit Reflection Reflective Subcategory Diagram Limit Colimit