Carnegie Mellon University

Current Courses

Categorical Logic, 80-514/814, SS 2021, Instructor: Mathieu Anel
https://mathieu.anel.free.fr/CLcourse.html

Past Courses

Category Theory, 80-413/713, WS 2020, Instructor: Mathieu Anel
https://mathieu.anel.free.fr/CTcourse.html