掌握方法↗
函子 和 之间的自然变换 的定义是:为源范畴 中的每个对象 ,在目标范畴 中分配一个态射 ,使得对于 中的每个态射 ,相应的方块交换()。
适用条件: 和 是从 到 的函子。; 和 是 中的对象。; 是 中从 到 的态射。
YouTube#38 同伦类型论讲解:自然变换、函子范畴
2:30 – 2:42原站看这一段 ↗
函子 和 之间的自然变换 的定义是:为源范畴 中的每个对象 ,在目标范畴 中分配一个态射 ,使得对于 中的每个态射 ,相应的方块交换()。
适用条件: 和 是从 到 的函子。; 和 是 中的对象。; 是 中从 到 的态射。
YouTube#38 同伦类型论讲解:自然变换、函子范畴
2:30 – 2:42原站看这一段 ↗