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

系列分集

范畴论：伴随与单子

Category Theory III 3.1, Adjunctions and monads

先辨认一对互为伴随的函子，再沿单位和余单位的箭头观察，伴随怎样导出一个单子。

Bartosz Milewski · 系列收录

在此播放

讨论出处

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