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

系列分集

范畴论第 9.2 讲：双范畴

Category Theory 9.2: bicategories

先画对象之间的 1-态射，再画两条 1-态射之间的 2-态射。跟着讲者分辨横向和纵向复合，注意结合条件如何由相应的同构表达。

Bartosz Milewski · 系列收录

在此播放

讨论出处

• Hacker News · 推荐系列的原讨论 ↗Category Theory · 2016-11-16