Introduction to Categories and Categorical Logic
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.Barr, M., Wells, C.: Category Theory for Computing Science, 3rd edn. Publications CRM, Montreal (1999)Google Scholar
- 3.Girard, J.-Y., Taylor, P., Lafont, Y.: Proofs and Types. Cambridge University Press, Cambridge (1989)Google Scholar
- 4.Goldblatt, R.: Topoi, the Categorial Analysis of Logic. North-Holland, Amsterdam (1984). Reprinted by Dover Books, 2006.Google Scholar
- 6.Lambek, J., Scott, P.J.: Introduction to Higher-Order Categorical Logic. Cambridge University Press, Cambridge (1986)Google Scholar
- 7.Lawvere, F., Schanuel, S.: Conceptual Mathematics: A First Introduction to Categories. Cambridge University Press, Cambridge (1997)Google Scholar
- 9.Mac Lane, S., Moerdijk, I.: Sheaves in Geometry and Logic: A First Introduction to Topos Theory. Springer, New York (1994)Google Scholar
- 10.Pierce, B.: Basic Category Theory for Computer Scientists. MIT Press, Cambridge (1991)Google Scholar
- 11.Sørensen, M.H., Urzyczyn, P.: Lectures on the Curry-Howard Isomorphism. Elsevier, New York (2006)Google Scholar