Zoom link: https://huji.zoom.us/j/82374487810?pwd=4paIDfvF8pTBfugdSdrP3xIYCW7FsM.1
Meeting ID: 823 7448 7810
Passcode: 625218
Title: Towards model theory for homotopical structures
Abstract: The framework of first order logic appears to be ill-suited for
homotopical structures, where relations hold only up to (coherent)
homotopy. However, recent results suggest that some variant of model
theory could exist and be useful there. I will give a rather speculative
talk in which I will outline these examples, explain what could be their
model-theoretic content, and describe some attempts to produce a variant
of logic that might implement this. I will assume no technical
background in homotopy theory (and actually, almost no model theory).