“Category Theory”版本间的差异

来自iCenter Wiki
跳转至: 导航搜索
References
(5个版本:all)
 
(1位用户的2个中间修订版本未显示)
第1行: 第1行:
[[wikipedia:Category Theory|Category Theory]] is a way to represent the structures of mathematical objects using objects and arrows.
+
[[wikipedia:Category Theory|Category Theory]] is a mathematical formalism to reason about structures of any system using arrows.
  
 
=References=
 
=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年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