跳到内容
从一个困惑开始

你想弄懂什么?

找到答案,看到讲解发生的那一刻,再顺着概念继续探索。

← 概念导览

关于「为什么涉及 F(h)、G(h)、\eta_x 和 \eta_y 的图对于自然变换必须交换?」

1 个关键词匹配

正在理解你的问题,下面的搜索结果可先查看。

掌握方法

↗

函子 FF 和 GG 之间的自然变换 η\eta 的定义是:为源范畴 CC 中的每个对象 xx,在目标范畴 DD 中分配一个态射 ηx:F(x)→G(x)\eta_x : F(x) \to G(x),使得对于 CC 中的每个态射 h:x→yh : x \to y,相应的方块交换(ηy∘F(h)=G(h)∘ηx\eta_y \circ F(h) = G(h) \circ \eta_x)。

适用条件:FF 和 GG 是从 CC 到 DD 的函子。;xx 和 yy 是 CC 中的对象。;hh 是 CC 中从 xx 到 yy 的态射。