视频目录 / 抽象代数与对称

系列分集

范畴论中的自然变换

Natural transformations

把两个函子在每个对象处的输出用一支箭头连接，再逐个检查每条原态射是否让对应的方块交换。

DanielChanMaths · 系列收录

在此播放

讨论出处

• Hacker News · 推荐系列的原讨论 ↗Category theory · 2021-04-30