掌握方法↗
两个自然变换 和 的复合是按分量定义的。对于源范畴 中的每个对象 ,复合变换 的 -分量是目标范畴 中的复合态射 。
适用条件: 是从 到 的自然变换。; 是从 到 的自然变换。; 是 中的对象。
YouTube#38 同伦类型论讲解:自然变换、函子范畴
3:26 – 3:47原站看这一段 ↗
两个自然变换 和 的复合是按分量定义的。对于源范畴 中的每个对象 ,复合变换 的 -分量是目标范畴 中的复合态射 。
适用条件: 是从 到 的自然变换。; 是从 到 的自然变换。; 是 中的对象。
YouTube#38 同伦类型论讲解:自然变换、函子范畴
3:26 – 3:47原站看这一段 ↗