olemus
matemaatika haru, uurib matemaatiliste objektide vaheliste seoste neid omadusi, mis ei sõltu objektide sisestruktuurist, ning 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/
http://www.maths.ed.ac.uk/~aar/papers/mitchell.pdf

rakendusi (applications)
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/