伴随函子

伴随函子 (对)(adjoint functor (pair))亦称相伴函子(对).范畴论的基本概念之一它在同调代数等学科中有着重要应用.该概念由坎(Kan, D.M.)于1958年提出.设F:留~少，G:少~留为两个函子.若有自然等价其中h为集值二元映射则称G为F的左伴随函子，F为G的右伴随函子，而(F,G)称为伴随函子(对).例如，同调代数中的重要函子G-一②B与F为伴随函子(对).伴随函子对有着重要的性质，例如，当(F,G)为伴随函子对时，F必是右正合的，G必是左正合的.