Time: TR 14:00–15:20

Room: GHC 4215

Instructor:

- Tuesdays 11:30: Owen Milner, BH-155-F and adjoining suite
- Wednesdays 16:00: Jonas Frey, BH-150
- Fridays 15:00: Joseph Hua, room BH-135-L

- Owen Milner, Mondays 16:00, room BH-150

- The textbook (Category Theory, Steve Awodey, 2nd edition) is available electronically through the CMU library.
- Sign up to piazza using this link.
- The first class will be on August 29 at 14:00 in GHC 4215. See you there!

Category theory is a formal discipline developed to study complex problems in algebra and geometry, and later applied in logic, physics, computer science and many other areas. As such, this course will be more like a math class than a typical philosophy section. In particular, students will be expected to provide formal arguments and proofs for homework and on tests.

Steve Awodey, *Category Theory*, 2^{nd} edition,
Oxford University Press, 2010.

We will follow the book quite closely, taking about one week for each chapter.

- Emily Riehl,
*Category Theory in Context,*Courier Dover Publications, 2017. - Saunders Mac Lane,
*Categories for the Working Mathematician*, 2^{nd}edition, Springer, 1998. - F. William Lawvere and Stephen Schanuel,
*Conceptual Mathematics: a first introduction to categories,*2^{nd}edition, Cambridge University Press, 2009. - Tom Leinster,
*Basic Category Theory*, Cambridge University Press, 2014. - David Spivak,
*Category Theory for the Sciences*, The MIT Press, 2014. - The
*n*Lab: a wiki-lab on Mathematics, Physics and Philosophy from the point of view of (higher) category theory. They have pages on most concepts in our course and many beyond. - Category Theory: the entry at the Stanford Encyclopedia of Philosophy by Jean-Pierre Marquis discusses the history and philosophical significance of Category Theory.

The final course grade will be calculated as follows:

- Homework: 64% = 8% times the sum of the best 8 homework scores (out of 10-12 sets)
- Final exam: 36%

Homework sets will typically consist of 3-5 problems, and will be posted here each week. In your solutions, you may appeal to any fact which has been proved either in class or in the course textbook. There will be 10-12 homework sheets in total.

Homework has to be submitted via gradescope (use the code posted on piazza), by the time indicated on the homework sheet.

The final exam will take place in classroom in the exam week at the end of the semester.

The undergraduate and graduate sections of this course will be taught together. However, students enrolled in the graduate section will be expected to work a little bit harder. Each homework set will contain 1-2 starred problems that only the 80-713 students will be expected to solve. The tests may also have additional starred problems.