热度排名 #1029
初学范畴论|对象、箭头与复合
Category Theory For Beginners: Introduction
从最小的箭头图入手,检查哪两支箭头首尾相接、恒等箭头做了什么。先把组合规则写顺,再看集合和函数怎样成为一个例子。
Richard Southwell · 1 串讨论 · 热度 2.466
讨论出处
- Hacker News · 原讨论 ↗2021-09-17 · 帖子分数 130
热度排名 #1029
Category Theory For Beginners: Introduction
从最小的箭头图入手,检查哪两支箭头首尾相接、恒等箭头做了什么。先把组合规则写顺,再看集合和函数怎样成为一个例子。
Richard Southwell · 1 串讨论 · 热度 2.466