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

热度排名 #620

范畴论导论：从对象和箭头开始

An Introduction to Category Theory - FP-Syd talk

找出一个对象、一条从它出发的箭头和一次箭头复合。把三者先用一个熟悉的函数例子落实，再读抽象定义会容易许多。

Alex Mason · 2 串讨论 · 热度 4.057

在此播放

讨论出处

• Hacker News · 原讨论 ↗2014-06-30 · 帖子分数 88
• Hacker News · 原讨论 ↗2010-12-12 · 帖子分数 2