Introduction to Categories and Categorical Logic
Abstract
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.
- Publication:
-
Lecture Notes in Physics, Berlin Springer Verlag
- Pub Date:
- 2011
- DOI:
- 10.1007/978-3-642-12821-9_1
- arXiv:
- arXiv:1102.1313
- Bibcode:
- 2011LNP...813....3A
- Keywords:
-
- Physics;
- Mathematics - Category Theory;
- Computer Science - Logic in Computer Science
- E-Print:
- 96 pages