弄清查询(nqcx.com) - 免费实用便民查询工具大全网
功能直达
伴随函子(对)(adjoint functor (pair))，亦称相伴函子(对)。范畴论的基本概念之一。它在同调代数等学科中有着重要应用。该概念由坎(Kan, D.M.)于1958年提出。设F：L→D，G：D→L为两个函子。若有自然等价h(—，—)：HomL(G(—),—)→HomD(—,F(—))，其中h(—，—)为集值二元映射（即，对∀ A∈L，B∈D，h(B,A)：HomL(G(B),A)→HomD(B,F(A))为双射），则称G为F的左伴随函子，F为G的右伴随函子，而(F,G)称为伴随函子(对)。例如，同调代数中的重要函子G=一ⓧB与F=Hom(B,—)为伴随函子(对)。伴随函子对有...
【伴的意思】：伴 bàn（ㄅㄢˋ） （一）、同在一起而能互助的人：伙伴。伴侣。（二）、陪同：伴随。陪伴。伴和（ h 详情>
【随的意思】：随（隨） suí（ㄙㄨㄟˊ） （一）、跟着：随从。随员。随葬。随即（立刻）。随行（ xíng ）。随 详情>
【函的意思】：函 hán（ㄏㄢˊ） （一）、匣，盒子：石函。剑函。（二）、套子，引申为量词：书函。信一函（信一封） 详情>
