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

系列分集

范畴论：克莱斯利范畴

Category Theory 3.2: Kleisli category

从单子给出的态射形式出发，追踪两个这种态射怎样复合，再核对单位映射在何处发挥作用。

Bartosz Milewski · 系列收录

在此播放

讨论出处

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