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

系列分集

MIT 范畴论与编程第 15 讲：幺半范畴与幺半函子

Programming with Categories - Lecture 15

先用集合的积和单点集找出张量运算及单位对象。跟着例子检查函子怎样把这些结构带到另一范畴，以及两边的组合顺序如何对应。

Topos Institute · 系列收录

在此播放

讨论出处

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