Monthly Archives: March 2022

On the ∞-topos semantics of homotopy type theory

Posted on 22 March 2022 by Emily Riehl

Video and lecture notes are now available for a series of talks that took place last month at the Logic and Higher Structures workshop at CIRM-Luminy with the following abstract: Many introductions to homotopy type theory and the univalence axiom … Continue reading →

Posted in Uncategorized | 1 Comment