伴随函子

在范畴论中，函子 $F, G$ 若满足 $\mathrm{Hom}(F(-),-) = \mathrm{Hom}(-,G(-))$ ，则称之为一对伴随函子，其中 $G$ 称为 $F$ 的右伴随函子，而 $F$ 是 $G$ 的左伴随函子。伴随函子在范畴论中是个极基本而有用的概念。

设 $F: \mathcal{C}_1 \to \mathcal{C}_2, \; G: \mathcal{C}_2 \to \mathcal{C}_1$ 为函子，若存在双函子的同构

\mathrm{Hom}_{\mathcal{C}_2}(F(-),-) \simeq \mathrm{Hom}_{\mathcal{C}_1}(-,G(-))

则称 $F, G$ 为一对伴随函子， $G$ 称为 $F$ 的右伴随函子，而 $F$ 是 $G$ 的左伴随函子。

上述同构进一步给出两个同构

\mathrm{Hom}_{\mathcal{C}_2}(F \circ G(-),-) \simeq \mathrm{Hom}_{\mathcal{C}_1}(G(-), G(-))

\mathrm{Hom}_{\mathcal{C}_2}(F(-), F(-)) \simeq \mathrm{Hom}_{\mathcal{C}_1}(-, G \circ F(-))

分别在同构的左右两侧置 $\mathrm{id}_{F(-)}$ 与 $\mathrm{id}_{G(-)}$ ，遂得到函子间的态射（即自然变换）：

\mathrm{id}_{\mathcal{C}_1} \to G \circ F \quad

（单位）

F \circ G \to \mathrm{id}_{\mathcal{C}_2} \quad

（上单位）

定义中的双函子同构由单位与上单位唯一决定。

词汇	Adjoint functors
分类	英语词汇英语翻译词典
释义	Adjoint functors 中文百科伴随函子在范畴论中，函子 $F, G$ 若满足 $\mathrm{Hom}(F(-),-) = \mathrm{Hom}(-,G(-))$ ，则称之为一对伴随函子，其中 $G$ 称为 $F$ 的右伴随函子，而 $F$ 是 $G$ 的左伴随函子。伴随函子在范畴论中是个极基本而有用的概念。设 $F: \mathcal{C}_1 \to \mathcal{C}_2, \; G: \mathcal{C}_2 \to \mathcal{C}_1$ 为函子，若存在双函子的同构 $\mathrm{Hom}_{\mathcal{C}_2}(F(-),-) \simeq \mathrm{Hom}_{\mathcal{C}_1}(-,G(-))$ 则称 $F, G$ 为一对伴随函子， $G$ 称为 $F$ 的右伴随函子，而 $F$ 是 $G$ 的左伴随函子。上述同构进一步给出两个同构 $\mathrm{Hom}_{\mathcal{C}_2}(F \circ G(-),-) \simeq \mathrm{Hom}_{\mathcal{C}_1}(G(-), G(-))$ $\mathrm{Hom}_{\mathcal{C}_2}(F(-), F(-)) \simeq \mathrm{Hom}_{\mathcal{C}_1}(-, G \circ F(-))$ 分别在同构的左右两侧置 $\mathrm{id}_{F(-)}$ 与 $\mathrm{id}_{G(-)}$ ，遂得到函子间的态射（即自然变换）： $\mathrm{id}_{\mathcal{C}_1} \to G \circ F \quad$ （单位） $F \circ G \to \mathrm{id}_{\mathcal{C}_2} \quad$ （上单位）定义中的双函子同构由单位与上单位唯一决定。英语百科 Adjoint functors 伴随函子 In mathematics, specifically category theory, adjunction is a possible relationship between two functors. Adjunction is ubiquitous in mathematics, as it specifies intuitive notions of optimization and efficiency. In the most concise symmetric definition, an adjunction between categories C and D is a pair of functors,
随便看	blue jokes Blue Key blue kinescope Blue Knob blue l. Blue Labour Blue Lactarius Blue Lady Blue Lagoon Blue Lagoons Blue Lake blue landscape Blue Language Blue laser blue lateral convergence blue lateral magnet Blue law Blue Laws Blue lead Blue LED blueleek Blue leg blue level Blue Lias Blue lias clay 散文情感探究题是什么意思寨儿令听筝表达的情感是什么意思梁思成情书原文是什么意思表达沟通的情感句子是什么意思惊艳文案情感语录是什么意思生活情感的散文是什么意思给朋友点赞表达的情感是什么意思经典文案情感搞笑句子简短是什么意思情感越长大越黑暗的句子是什么意思推荐游戏情感语录文案短句是什么意思苦闷文案情感句子图片带字是什么意思那些优秀的情感散文诗人是什么意思催泪情书七律古诗是什么意思情感励志散文链接是什么意思港澳一情感语录是什么意思喝酒约会技巧分手后妹妹去帮挽回前男友思以智胜婚礼老公出轨我居然没想过挽回回避型婚姻挽回的句子图片挽回男友复合后宋晓峰相亲抢亲节目如何挽回异地女友的心在婚礼上发言英语不想让女朋友分手的情话我的情感咨询挽回经历工作后女生需要表白吗文案小酒馆搭讪女生怎么聊天闺女被骗去相亲全部都是繁体字的情话求婚供食求婚行为求婚连锁反应求实型购买动机求异思维求护行为求放心求新型购买动机求美型购买动机求职者权利汇聚理论汇集汉字失读汉字心理研究汉字教学形式金星天秤座月亮天秤座男生人怎么样月亮天秤座跟太阳天秤座的区别太阳巨蟹座和水星巨蟹座的区别上升巨蟹座水星巨蟹座男生人怎么样水星巨蟹水星巨蟹的人的内心需求水星巨蟹座和太阳巨蟹座的区别水星巨蟹座爱一个人表现两个人水星都是巨蟹座好不好水星巨蟹座喜欢巨蟹座的区别水星巨蟹座和水星巨蟹座的区别水星巨蟹和水星巨蟹合适吗水星巨蟹座的逻辑思维特点 12星座暧昧期最容易踩的雷点水星巨蟹座水星巨蟹座合适吗水星巨蟹座11宫代表什么

Adjoint functors

伴随函子

Adjoint functors 伴随函子