伴隨函子

在範疇論中 ， 函子若滿足 ， 則稱之爲一對伴隨函子 ， 其中稱爲的右伴隨函子 ， 而是的左伴隨函子 。 伴隨函子在範疇論中是個極基本而有用的概念 。