A Gentle Introduction to Category Theory: the calculational approach by Maarten M. Fokkinga

A Gentle Introduction to Category Theory: the calculational approach

A Gentle Introduction to Category Theory: the calculational approach by Maarten M. Fokkinga
1994
Number of pages: 80
In these notes we present the important notions from category theory. The intention is to provide a fairly good skill in manipulating with those concepts formally. This text differs from most other introductions to category theory in the calculational style of the proofs, the restriction to applications within algorithmics, and the omission of many additional concepts and facts that I consider not helpful in a first introduction to category theory.
Mathematics Category Theory

Go To Read/Download Page

Home Page

More Free E-Books For Category Theory

Similar Books For Category Theory

1. Basic Category Theory by Tom Leinster
2. Dynamical Systems and Sheaves by D. I. Spivak, C. Vasilakopoulou, P. Schultz
3. Category Theory: A Gentle Introduction by Peter Smith
4. Categories and Modules by Takahiro Kato
5. Combinatorics and Algebra of Tensor Calculus by Sen Hu, Xuexing Lu, Yu Ye
6. Category Theory for Scientists by David I. Spivak
7. Categories and Homological Algebra by Pierre Schapira
8. Category Theory for Computing Science by Michael Barr, Charles Wells
9. Banach Modules and Functors on Categories of Banach Spaces by J. Cigler, V. Losert, P.W. Michor
10. Functors and Categories of Banach Spaces by Peter W. Michor
11. Category Theory and Functional Programming by Mikael Vejdemo-Johansson
12. Higher Topos Theory by Jacob Lurie
13. Higher Algebra by Jacob Lurie
14. Introduction to Categories and Categorical Logic by Samson Abramsky, Nikos Tzevelekos
15. Category Theory Lecture Notes by Daniele Turi
16. An Introduction to Category Theory in Four Easy Movements by A. Schalk, H. Simmons
17. Category Theory Lecture Notes by Michael Barr, Charles Wells
18. Category Theory by
19. Basic Category Theory by Jaap van Oosten
20. Abelian Categories: an Introduction to the Theory of Functors by Peter Freyd
21. Model Categories and Simplicial Methods by Paul Goerss, Kristen Schemmerhorn
22. Notes on Categories and Groupoids by P. J. Higgins
23. Seminar on Triples and Categorical Homology Theory by B. Eckmann
24. Higher Operads, Higher Categories by Tom Leinster
25. Higher-Dimensional Categories: an illustrated guide book by Eugenia Cheng, Aaron Lauda
26. Mixed Motives by Marc Levine
27. A Gentle Introduction to Category Theory: the calculational approach by Maarten M. Fokkinga
28. Computational Category Theory by D.E. Rydeheard, R.M. Burstall
29. Categories, Types, and Structures by Andrea Asperti, Giuseppe Longo
30. Abstract and Concrete Categories: The Joy of Cats by Jiri Adamek, Horst Herrlich, George Strecker
31. Basic Concepts of Enriched Category Theory by Max Kelly
32. Toposes, Triples and Theories by Michael Barr, Charles Wells

A Gentle Introduction to Category Theory: the calculational approach by Maarten M. Fokkinga