Login
From:
Homotopy Type Theory
(Uncensored)
subscribe
On the ∞-topos semantics of homotopy type theory | Homotopy Type Theory
https://homotopytypetheory.org/2022/03/22/on-the-%e2%88%9e-topos-semantics-of-homotopy-type-theory%ef%bf%bc%ef%bf%bc/
links
backlinks
Roast topics
Find topics
Find it!
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…
