Monthly Archives: March 2022

On the ∞-topos semantics of homotopy type theory

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