“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