伴随函子维基百科,自由的 encyclopedia 在范畴论中,函子 F , G {\displaystyle F,G} 若满足 H o m ( F ( − ) , − ) = H o m ( − , G ( − ) ) {\displaystyle \mathrm {Hom} (F(-),-)=\mathrm {Hom} (-,G(-))} ,则称之为一对伴随函子,其中 G {\displaystyle G} 称为 F {\displaystyle F} 的右伴随函子,而 F {\displaystyle F} 是 G {\displaystyle G} 的左伴随函子。伴随函子在范畴论中是个极基本而有用的概念。
在范畴论中,函子 F , G {\displaystyle F,G} 若满足 H o m ( F ( − ) , − ) = H o m ( − , G ( − ) ) {\displaystyle \mathrm {Hom} (F(-),-)=\mathrm {Hom} (-,G(-))} ,则称之为一对伴随函子,其中 G {\displaystyle G} 称为 F {\displaystyle F} 的右伴随函子,而 F {\displaystyle F} 是 G {\displaystyle G} 的左伴随函子。伴随函子在范畴论中是个极基本而有用的概念。