MATH CS 5 Colloquium: Categories, Types, Logics
Coursework at UC Santa Barbara.
Instructor: Stephen Bigelow
Term: Fall 2025
Course description
A student-led colloquium connecting category theory with logic and the internal languages of structured categories. Topics include categorical semantics of Martin-Löf dependent type theory and their use in proving syntactic results. Led by Tom Lindquist under Stephen Bigelow’s supervision.
See CCS Fall 2025 course description for official course description.