MAT313/PHI324 Category Theory (Spring 2017)

This course is an introduction to category theory, focusing on its applicability to a wide range of disciplines like mathematics, logic, philosophy and computer science. A sample syllabus can be found here.

PROBLEM SETS

- Problem Set 1 (due Feb. 16)

- Problem Set 2 (due Feb. 23)

- Problem Set 3 (due Mar. 2)
- Problem Set 4 (due Mar. 9)
- Midterm (due Mar. 30)
- Problem Set 6 (due Apr. 6)
- Problem Set 7 (due Apr. 20)
- Problem Set 8 (due Apr. 27)
- Problem Set 9 (due May 4)

EXPOSITORY NOTES

- Week 1: Equivalence of Categories , Monoids and Categories

- Week 3: The Yoneda Lemma , Uniqueness of Universals

OFFICE HOURS: Wednesday 2-3:30pm, Room 123, 1879 Hall or by appointment.

COURSE INFORMATION

Problem Sets

- Posting: Problem
sets will be posted on this website every Friday by midnight. The
first problem set will be posted Week 1 and due Week 2. There will be a
total of 10 problem sets. Each will contain 3-10 exercises.

- Hand-in: Problem sets will be due the following Thursday after they were posted at 3pm (beginning of Thursday lecture).
- Submission: Either by hardcopy at the beginning of the Thursday lecture or by email. If you submit by email use the subject "mat313x" where x=the number of the problem set.
- Return: I will hand back hardcopies at the beginning of each Thursday lecture.
- Marking: Each
exercise will be marked on a 5-point scale. Whenever there is a
choice of exercises, students who do more than the required number of
exercises will receive the maximum amount of marks that any combination
of the exercises they did can get them. (In other words: I will add up
the highest marks, discarding the lowest.)

- Weighing: Worth 50% of final grade. Every problem set will carry equal weight.

- Late Penalties: 5-point deduction every 24 hours for up to two days. (So that I can mark on Sunday...)

- Midterm: Take-Home. Posted Week 6 Thursday and due Week 7 Thursday (like a problem set). Worth 20% of final grade.

- Final: Take-Home. Timed. Worth 30% of final grade.

LINKS

Some useful and maybe relevant links:

- Emily Riehl's book Category Theory in Context freely available online and a great source of material
- I would recommend this short video which describes what category theory is about

- The nLab which is the ``Wikipedia of Category Theory''
- If you don't know much about category theory then I would recommend reading the relevant nLab entry

- The n-Category cafe, a general blog dedicated to issues related to category theory in math, physics and philosophy