Department of Mathematics Calendar

Back to Listing

The Department of Mathematics is a bustling place full of new ideas. We host several events that occur throughout the year, including seminars, colloquium, conferences, and social events. Our seminars and colloquium are open to the public: all students, faculty, or alumni who are interested are welcome to join us for exciting talks on the leading edge of mathematics research!

For information about adding events to this calendar, please see this user guide

Graduate Student Homotopy Theory Seminar

Event Type
Department of Mathematics
Altgeld Hall 345
Oct 7, 2022   3:00 pm  
Anthony D'Arienzo
Zachary Halladay

Title: Homotopical Ideas in First-Order Logic
Abstract: The interaction between logic and homotopy theory is dominated by higher category theory and type theories. However, recent developments in traditional first-order logic are being interpreted in an increasingly homotopical paradigm, leading to new Stone-duality-esque theorems by Makkai, Butz, Moerdijk, Lurie, and others. These results show that---while type theories have an internal homotopy theory---there exists an external homotopy theory of first-order theories. This talk is a survey of the history of categorical logic and its applications for homotopy theory, as well as a discussion on why these homotopical results are showing up in the first place.

link for robots only