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

系列分集

自由函子、遗忘函子与伴随生成的单子

Category Theory II 6.2: Free-Forgetful Adjunction, Monads from Adjunctions

先看一个方向怎样添上结构、另一个方向怎样忘掉结构，再追踪伴随的两个函子怎样组成单子。

Bartosz Milewski · 系列收录

在此播放

讨论出处

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