伴隨函子 在範疇論中函子 F  G displaystyle FG 若滿足 H o m  F        H o m    G     displaystyle mathrm Hom Fmathrm Hom G 則稱之為一對伴隨函子其中 G displaystyle G 稱為 F displaystyle F 的右伴隨函子而 F displaystyle F 是 G displaystyle G 的左伴隨函子伴隨函子在範疇論中是個極基本而有用的概念