Course pages 2015–16
Category Theory and Logic
- Lecture 1: Introduction; some history; content of this course. Definition of category. The category of sets and functions. Alternative definitions of category.
- Lecture 2: Commutative diagrams. Examples of categories: pre-ordered sets and monotone functions; monoids and monoid homomorphisms; a pre-ordered set as a category; a monoid as a category. Definition of isomorphism.
- Lecture 3: Informal notion of a "category-theoretic" property. Terminal objects. The opposite of a category and the duality principle. Initial objects. Free monoids as initial objects.
- The module lecturer will be available to answer questions about the course material and exercises on Wednesdays between 12:00 and 13:00 in FC08 during Full Term.
- The following is the classic text on category theory and is
definitely worth looking at if you are feeling mathematically
Mac Lane, Saunders. Categories for the Working Mathematician. Graduate Texts in Mathematics 5, second ed. (Springer, 1988), ISBN 0-387-98403-8.
- A student-oriented guide to on-line material on Category Theory is available at http://www.logicmatters.net/categories/.
- The Category Theory Seminar is held at 2.15pm on Tuesdays in Room MR5 of the Centre for Mathematical Sciences.
- Julia Goedecke's Category Theory course for the 2013/4 Mathematical Tripos Part III / Masters of Mathematics.
- Category Theory in the nLab.
- The Catsters' Category Theory Videos.
- Eugenia Cheng's book on Cakes, Custard and Category Theory.