理解原因↗
该图必须交换,以确保自然变换与函子及其连接的范畴在结构上保持一致。具体来说,它保证了先通过 变换对象,然后对态射应用函子 ,与先对态射应用函子 ,然后通过 变换,会产生相同的结果。
适用条件: 是 中从对象 到对象 的态射。; 和 是从 到 的函子。; 和 是自然变换 的分量。
YouTube#38 同伦类型论讲解:自然变换、函子范畴
2:05 – 2:30原站看这一段 ↗
该图必须交换,以确保自然变换与函子及其连接的范畴在结构上保持一致。具体来说,它保证了先通过 变换对象,然后对态射应用函子 ,与先对态射应用函子 ,然后通过 变换,会产生相同的结果。
适用条件: 是 中从对象 到对象 的态射。; 和 是从 到 的函子。; 和 是自然变换 的分量。
YouTube#38 同伦类型论讲解:自然变换、函子范畴
2:05 – 2:30原站看这一段 ↗