数学影像馆

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

系列分集

奥沃迪范畴论基础第 3.2 讲：用米田引理证明分配律

Category theory foundations 3.2 — Steve Awodey

先把积与余积各自的泛性质写成态射集的对应。跟着讲解观察怎样把两种构造比较到同一层面，再用米田嵌入辨认两侧对象。

Mathématiques et programmation · 系列收录

打开原视频 ↗浏览抽象代数与对称

讨论出处