“Category Theory”版本间的差异
来自iCenter Wiki
(→References) |
小 (5个版本:all) |
(没有差异)
|
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