Current Courses
- Categorical Logic, 80-514/814, Spring 2025, MW 2-3:20 in BH 150
Instructor: Reid Barton
https://www.andrew.cmu.edu/user/barton2/80-514-814/ - Type Theory, 80-518/818, Spring 2025, TR 3:30-4:50 in BH 150
Instructor: Steve Awodey
https://awodey.github.io/typetheory/ - Seminar on Homotopy Type Theory, 80-715, Spring 2025, F 1-3 in BH 150
Instructors: Mathieu Anel, Steve Awodey
https://www.cmu.edu/dietrich/philosophy/hott/seminars/index.html
Past Courses
- Category Theory, 80-413/713, Fall 2024, Instructor: Reid Barton
- Seminar on Homotopy Type Theory, 80-715, Fall 2024,
Instructors: Mathieu Anel, Steve Awodey
https://www.cmu.edu/dietrich/philosophy/hott/seminars/index.html - Category Theory, 80-413/713, Fall 2023, Instructor: Jonas Frey,
http://www.andrew.cmu.edu/user/jonasf/80-413-713/index.html - 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, Spring 2021, Instructor: Mathieu Anel
https://mathieu.anel.free.fr/CLcourse.html - Category Theory, 80-413/713, Fall 2020, Instructor: Mathieu Anel
https://mathieu.anel.free.fr/CTcourse.html - Seminar on Topics in Logic: Constructive Mathematics, 80-518/818, Spring 2016, Instructor: Ulrik Buchholtz, https://ulrikbuchholtz.dk/80-518-818/index.html