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

系列分集

范畴论进阶第 7.1 讲：把自然变换写成端

Category Theory III 7.1, Natural transformations as ends

自然变换由许多分量组成，还必须满足自然性方块。端把这些分量和相容条件收进同一个构造。

Bartosz Milewski · 系列收录

在此播放

讨论出处

• Hacker News · 推荐系列的原讨论 ↗Category Theory III · 2020-05-06