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

系列分集

范畴论：余单子

Category Theory II 7.1: Comonads

画出余单位和余乘法的箭头，逐一查看它们怎样满足结合与单位条件，并与单子的箭头方向对照。

Bartosz Milewski · 系列收录

在此播放

讨论出处

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