Copilot
Your everyday AI companion
About 826,000 results
  1. Category theory: online lecture notes, etc. - Logic Matters

  2. Category Theory (Oxford Logic Guides) - amazon.com

  3. Good books and lecture notes about category theory.

  4. People also ask
    A classic text on categorical logic is . A particularly useful feature of is the large number of exercises with solutions. The text is a classic by one of the co-founders of category theory.
    www.cs.ox.ac.uk/people/bob.coecke/AbrNikos.pdf
    Bartosz Milewski, Category Theory for Programmers (series of long blogposts, available in book format, linked below: also see also his videos, also linked below). Jaap van Oosten, Basic Category Theory and Topos Theory (pp. 123, Utrecht 2016). Uday S. Reddy, Categories and Functors (pp. 47, Lecture Notes for Midlands Graduate School, 2012).
    David I. Spivak, Category Theory for the Sciences (online version of book published by MIT Press, 2014) Samson Abramsky and Nikos Tzevelekos, Introduction to Categories and Categorical Logic (as above). [Clear intro. to categories: but when it turns to logic rather rushed and oddly focused.]
    John L. Bell, The Development of Categorical Logic (more advanced: published in D.M. Gabbay & Franz Guenthner, eds, Handbook of Philosophical Logic, 2nd edition, Volume 12, Springer 2005). Andrew Pitts, Categorical Logic (in S. Abramsky, D. Gabbay, T. Maibaum, eds, Handbook of Logic in Computer Science Vol 5, OUP 2000).
  5. Topoi: The Categorial Analysis of Logic (Dover Books on …

  6. Category:Logic books - Wikipedia

  7. Category Theory - Stanford Encyclopedia of Philosophy

  8. Introduction to Categories and Categorical Logic | SpringerLink

  9. Sets, Logic and Categories | SpringerLink

  10. Categorical Logic and Type Theory - B. Jacobs - Google Books