olemus
matemaatika haru,
uurib matemaatiliste objektide
vaheliste seoste neid omadusi,
mis ei sõltu objektide sisestruktuurist,
formaliseerib objektid ja seosed kategooriatena:
objektid on näiteks
- hulk
- rühm
- vektorruum
- topoloogiline ruum
=
a general theory of mathematical structures and their relations

graafesitus
kategooriat saab esitada
orienteeritud graafina, mille
- tippudeks on objektid ja
- kaarteks on seosed (morfismid)

ülevaateid
https://en.wikipedia.org/wiki/Category_theory

https://en.wikibooks.org/wiki/Category_Theory

https://jeremykun.com/2013/04/16/categories-whats-the-point/

http://www.cs.toronto.edu/~sme/presentations/cat101.pdf

http://www.mathematik.uni-muenchen.de/~pareigis/Vorlesungen/04SS/Cats1.pdf

https://www.logicmatters.net/categories/

Mitchelli klassikaline monograafia
http://www.maths.ed.ac.uk/~aar/papers/mitchell.pdf

rakendusi
http://rs.io/why-category-theory-matters/

https://math.berkeley.edu/~izaak/assets/cryptocat.pdf

https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/

http://www.cs.cornell.edu/courses/cs6117/2014fa/