Current Courses
- Category Theory, 80-413/713, Fall 2023, Instructor: Jonas Frey,
http://www.andrew.cmu.edu/user/jonasf/80-413-713/index.html - Seminar on Homotopy Type Theory, 80-715, Spring 2023,
Instructors: Mathieu Anel, Steve Awodey
https://www.cmu.edu/dietrich/philosophy/hott/seminars/index.html
Past Courses
- Categorical Logic, 80-514/814, Spring 2023, Instructor: Steve Awodey,
https://awodey.github.io/catlog/ - Category Theory, 80-413/713, Fall 2022, Instructor: Jonas Frey,
http://www.andrew.cmu.edu/user/jonasf/80-413-713/index.html - Topos Theory, 80-818, Fall 2022,
Instructors: Mathieu Anel, Steve Awodey, Jonas Frey, Andrew Swan,
https://cmu-hott.github.io/80-818-topos-theory-fall-2022/ - Categorical Logic, 80-514/814, Spring 2022, Instructor: Steve Awodey
https://www.andrew.cmu.edu/user/awodey/catlog/ - Category Theory, 80-413/713, Fall 2021, Instructor: Jonas Frey, http://www.andrew.cmu.edu/user/jonasf/80-413-713/index.html
- Seminar on topics in logic: Intuitionistic logic, 80-818, Fall 2021, Instructor: Andrew Swan, https://awswan.github.io/teaching/intuitionisticlogic/
- Categorical Logic, 80-514/814, SS 2021, Instructor: Mathieu Anel
https://mathieu.anel.free.fr/CLcourse.html - Category Theory, 80-413/713, WS 2020, Instructor: Mathieu Anel
https://mathieu.anel.free.fr/CTcourse.html