伴隨函子

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