Category Theory

来自iCenter Wiki
2016年2月6日 (六) 15:08Bkoo（讨论）的版本

跳转至： 导航、 搜索

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

取自“http://wiki.icenter.tsinghua.edu.cn/icenterwiki/index.php?title=Category_Theory&oldid=36903”