伴隨函子F ( − ) , − ) = H o m ( − , G ( − ) ) {\displaystyle \mathrm {Hom} (F(-),-)=\mathrm {Hom} (-,G(-))} ,則稱之為一對伴隨函子,其中 G {\displaystyle G} 稱為 F {\displaystyle
範疇 (數學)物件間的態射所構成的類hom(C)。每一個態射f都會有唯一個「源物件」a和「目標物件」b,且 a和b都在ob(C)之內。因此寫成f: a → b,且稱f為由a至b的態射。所有由a至b的態射所構成的「態射類」,其標記為hom(a, b) (或 homC(a, b))。 對任三個物件a、b和c,二元運算hom(a, b)×hom(b