Current Courses
- Categorical Logic, 80-514/814, Spring 2026, TR 2-3:20 in BH 150
Instructors: KIan Cho, Owen Milner, Corinthia Aberle - Seminar on Homotopy Type Theory, 80-715, Spring 2026, F 1-3 in BH 150
Instructor: Noah Ortiz
/dietrich/philosophy/hott/seminars/index.html
Past Courses
- Category Theory, 80-413/713, Fall 2025, Instructor: Reid Barton
- Seminar on Homotopy Type Theory, 80-715, Fall 2025, F 1-3 in BH 150
Instructors: Reid Barton, Steve Awodey
/dietrich/philosophy/hott/seminars/index.html - Categorical Logic, 80-514/814, Spring 2025, MW 2-3:20 in BH 150
Instructor: Reid Barton - Type Theory, 80-518/818, Spring 2025, TR 3:30-4:50 in BH 150
Instructor: Steve Awodey - Seminar on Homotopy Type Theory, 80-715, Spring 2025, F 1-3 in BH 150
Instructors: Mathieu Anel, Steve Awodey
/dietrich/philosophy/hott/seminars/index.html - Category Theory, 80-413/713, Fall 2024, Instructor: Reid Barton
- Seminar on Homotopy Type Theory, 80-715, Fall 2024,
Instructors: Mathieu Anel, Steve Awodey
/dietrich/philosophy/hott/seminars/index.html - Category Theory, 80-413/713, Fall 2023, Instructor: Jonas Frey,
- Categorical Logic, 80-514/814, Spring 2023, Instructor: Steve Awodey,
- Category Theory, 80-413/713, Fall 2022, Instructor: Jonas Frey,
- Topos Theory, 80-818, Fall 2022,
Instructors: Mathieu Anel, Steve Awodey, Jonas Frey, Andrew Swan, - Categorical Logic, 80-514/814, Spring 2022, Instructor: Steve Awodey
- Category Theory, 80-413/713, Fall 2021, Instructor: Jonas Frey,
- Seminar on Topics in Logic: Intuitionistic logic, 80-818, Fall 2021, Instructor: Andrew Swan,
- Categorical Logic, 80-514/814, Spring 2021, Instructor: Mathieu Anel
- Category Theory, 80-413/713, Fall 2020, Instructor: Mathieu Anel
- Seminar on Topics in Logic: Constructive Mathematics, 80-518/818, Spring 2016, Instructor: Ulrik Buchholtz,