“Category Theory”版本间的差异
来自iCenter Wiki
(→References) |
|||
第5行: | 第5行: | ||
[http://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/] Category Theory for Programmers by [http://bartoszmilewski.com/about/ Bartosz Milewski] | [http://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/] Category Theory for Programmers by [http://bartoszmilewski.com/about/ Bartosz Milewski] | ||
+ | |||
+ | [http://eed3si9n.com/learning-scalaz/index.html] Learning Scalaz, a course on Category Theory using Scala |
2016年2月6日 (六) 15:08的版本
Category Theory is a mathematical formalism to reason about structures of any system using arrows.
References
[1] nLab's page on Category Theory
[2] Category Theory for Programmers by Bartosz Milewski
[3] Learning Scalaz, a course on Category Theory using Scala