Winter 2022: Category Theory

Winter 2022: Category Theory

Course No:
EECS 598-006
Credit Hours:
3 credits
Instructor:
Max New
Prerequisites:
EECS 376 and EECS 490

This course will serve as an introduction to category theory for computer science students, especially those interested in applications to formal logic and programming languages. Tentative topics include categories, functors, natural transformations, adjunctions, universal properties, monads, multicategories, and functorial semantics. We will focus on the formal relationship between syntax and semantics as a unifying theme.

More info (pdf)