1.1- Motivation and Philosophy-《给程序员的范畴论1》课程 by Bartosz Milewski

热门回复：

• 复读机米泉:没有Haskell基础是不是可以撤退了？
• 发疯做梦吹风受冻:哲学上category 这个概念最初来自Kant，其实这这里面有ontology的东西，当然Kant并没有走进，问题是核心是what is there也就是being的事，那么being也意味着how to be bing，那么就此我们需要一个norm，从数学角度来看，就是reduction，遵循Norm的情况下，推导出所有一切
• roachsinai:字幕就前两集可还行？
• myshqrt:教授的讲义 https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
• 崇德尚赛:真心听不懂，但是点赞收藏，也许某一天能听懂吧。努力中.......