系列分集
奥沃迪范畴论基础第 4 讲:笛卡尔闭范畴与伴随入门
Category theory foundations 4.0 — Steve Awodey
把一个二元函数改写成返回函数的一元函数,核对两个写法之间如何往返。跟着讲解看这条对应怎样用积与指数对象表示。
Mathématiques et programmation · 系列收录
讨论出处
- Hacker News · 推荐系列的原讨论 ↗Category theory foundations — Steve Awodey · 2014-10-23