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

系列分集

范畴论第 8.1 讲：函数对象与指数对象

Category Theory 8.1: Function objects, exponentials

集合里的函数可以组成一个新的集合。将这个想法写成求值箭头，再看二元输入怎样通过柯里化改写成逐个输入。

Bartosz Milewski · 系列收录

在此播放

讨论出处

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