Introduction to Categories and Categorical Logic

  • S. Abramsky
  • N. Tzevelekos
Part of the Lecture Notes in Physics book series (LNP, volume 813)


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 notes are based on a lecture course given at Oxford over the past few years. They contain numerous exercises, and hopefully will prove useful for self-study by those seeking a first introduction to the subject, with fairly minimal prerequisites. The coverage is by no means comprehensive, but should provide a good basis for further study; a guide to further reading is included.

The main prerequisite is a basic familiarity with the elements of discrete mathematics: sets, relations and functions. An Appendix contains a summary of what we will need, and it may be useful to review this first. In addition, some prior exposure to abstract algebra—vector spaces and linear maps, or groups and group homomorphisms—would be helpful.


  1. 1.
    Barr, M., Wells, C.: Category Theory for Computing Science, 3rd edn. Publications CRM, Montreal (1999)Google Scholar
  2. 2.
    Borceux, F.: Handbook of Categorical Algebra Volumes 1–3. Cambridge University Press, Cambridge (1994)CrossRefGoogle Scholar
  3. 3.
    Girard, J.-Y., Taylor, P., Lafont, Y.: Proofs and Types. Cambridge University Press, Cambridge (1989)Google Scholar
  4. 4.
    Goldblatt, R.: Topoi, the Categorial Analysis of Logic. North-Holland, Amsterdam (1984). Reprinted by Dover Books, 2006.Google Scholar
  5. 5.
    Herrlich, H., Strecker, G.: Category Theory, 3rd edn. Heldermann, Berline (2007)zbMATHGoogle Scholar
  6. 6.
    Lambek, J., Scott, P.J.: Introduction to Higher-Order Categorical Logic. Cambridge University Press, Cambridge (1986)Google Scholar
  7. 7.
    Lawvere, F., Schanuel, S.: Conceptual Mathematics: A First Introduction to Categories. Cambridge University Press, Cambridge (1997)Google Scholar
  8. 8.
    Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Springer, New York (1998)zbMATHGoogle Scholar
  9. 9.
    Mac Lane, S., Moerdijk, I.: Sheaves in Geometry and Logic: A First Introduction to Topos Theory. Springer, New York (1994)Google Scholar
  10. 10.
    Pierce, B.: Basic Category Theory for Computer Scientists. MIT Press, Cambridge (1991)Google Scholar
  11. 11.
    Sørensen, M.H., Urzyczyn, P.: Lectures on the Curry-Howard Isomorphism. Elsevier, New York (2006)Google Scholar

Copyright information

© Springer-VerlagBerlin Heidelberg 2010

Authors and Affiliations

There are no affiliations available

Personalised recommendations