Introduction to Categories and Categorical Logic by Samson Abramsky, Nikos Tzevelekos

Introduction to Categories and Categorical Logic

Introduction to Categories and Categorical Logic by Samson Abramsky, Nikos Tzevelekos
Publisher: arXiv 2011
Number of pages: 101
The aim of these notes is to provide a succinct, accessible introduction to some of the basic ideas of category theory and categorical logic. The main prerequisite is a basic familiarity with the elements of discrete mathematics: sets, relations and functions.
Mathematics Category Theory



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



Categories