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

系列分集

MIT 范畴论与编程第 6 讲：始对象、终对象与积

Programming with Categories - Lecture 6

先在集合范畴里找出空集和单点集，按箭头方向区分始对象与终对象。进入积时，再用两个投影核对为什么一个映射可以由它的两个分量唯一确定。

Topos Institute · 系列收录

在此播放

讨论出处

• Hacker News · 推荐系列的原讨论 ↗Programming with Categories · 2021-04-10