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

系列分集

范畴论进阶第 7.2 讲：余端

Category Theory III 7.2, Coends

余端用一个泛构造把双函子的各个对角项拼起来。画出源自同一态射的两条箭头，看看拼接时哪两种表示要被视为相同。

Bartosz Milewski · 系列收录

在此播放

讨论出处

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