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

系列分集

范畴论进阶第 7.2 讲：余单子及其例子

Category Theory II 7.2: Comonads Categorically and Examples

余单子的余单位可以取出一个值，余乘法则将结构展开一层。画出它们的箭头，比较相容条件在例子里如何成立。

Bartosz Milewski · 系列收录

在此播放

讨论出处

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