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

系列分集

范畴论 II 第 5.2 讲：伴随

Category Theory II 5.2: Adjunctions

把伴随关系写成两边态射集的对应。跟着例子从一边取一支箭头，追踪到另一边后再回来，留意这套对应为何要求对对象选择自然。

Bartosz Milewski · 系列收录

在此播放

讨论出处

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