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

系列分集

幺半范畴、代数数据类型与陪函子

Category Theory 7.2: Monoidal Categories, Functoriality of ADTs, Profunctors

先看对象和态射怎样并列组合，再比较这种函子性在数据类型和两个变量的陪函子里怎样写。

Bartosz Milewski · 系列收录

在此播放

讨论出处

• Hacker News · 推荐系列的原讨论 ↗Category Theory · 2016-11-16