“Category Theory”版本间的差异
来自iCenter Wiki
（Created page with "wikipedia:Category Theory is a way to represent the structures of mathematical objects using objects and arrows. =References= #[https://ncatlab.org/nlab/show/category+th..."） |
小 （5个版本：all） |
||
| （1位用户的4个中间修订版本未显示） | |||
| 第1行： | 第1行： | ||
| − | [[wikipedia:Category Theory|Category Theory]] is a | + | [[wikipedia:Category Theory|Category Theory]] is a mathematical formalism to reason about structures of any system using arrows. |
=References= | =References= | ||
| − | + | [https://ncatlab.org/nlab/show/category+theory#idea] nLab's page on Category Theory | |
| − | + | ||
| + | [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年4月6日 (三) 03:15的最后版本
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
