系列分集
范畴论中的端
Category Theory III 6.2, Ends
顺着图里的箭头观察双变量函子怎样在对角线上取值,再看端如何把这一族取值按相容条件接起来。
Bartosz Milewski · 系列收录
讨论出处
- Hacker News · 推荐系列的原讨论 ↗Category Theory III · 2020-05-06
系列分集
Category Theory III 6.2, Ends
顺着图里的箭头观察双变量函子怎样在对角线上取值,再看端如何把这一族取值按相容条件接起来。
Bartosz Milewski · 系列收录