The Logic of ∞-Category Theory (Die Logik der ∞-Kategorientheorie)

by Prof. Denis-Charles Cisinski (Universität Regensburg)

Tuesday 30 Apr 2024, 17:00 → 18:00 Europe/Berlin

H4 (Geomatikum)

This talk will be an introduction to synthetic category theory. This is the natural language to express modern algebraic 
geometry (following Toen and Vezzosi, Lurie, Bhatt, Scholze, Clausen). However, we will adopt a much more elementary 
perspective. We will see how the history of logic of the last hundred years has lead us precisely to this place where logic, 
homotopy theory, and category theory become one.