跳到内容
从一个困惑开始

你想弄懂什么?

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

← 概念导览

关于「从 C 到 D 的函子范畴是什么?」

1 个关键词匹配

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

理解原因

↗

该图必须交换,以确保自然变换与函子及其连接的范畴在结构上保持一致。具体来说,它保证了先通过 η\eta 变换对象,然后对态射应用函子 GG,与先对态射应用函子 FF,然后通过 η\eta 变换,会产生相同的结果。

适用条件:hh 是 CC 中从对象 xx 到对象 yy 的态射。;FF 和 GG 是从 CC 到 DD 的函子。;ηx\eta_x 和 ηy\eta_y 是自然变换 η\eta 的分量。