数学影像馆

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

系列分集

奥沃迪范畴论基础第 3.1 讲：反变函子与米田嵌入

Category theory foundations 3.1 — Steve Awodey

从每个对象到固定对象的态射集开始，比较原箭头与预复合给出的新箭头。跟着证明画自然性方块，检查怎样从这些态射重新辨认原对象。

Mathématiques et programmation · 系列收录

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

讨论出处