Mathematics
and Interactions
-
Videos linked to Algebraic TopologyMore +
![Chromatic Delaunay mosaics for chromatic point data]()
published on October 13, 2022Chromatic Delaunay mosaics for chromatic point data
By Herbert Edelsbrunner
![Morse-theoretic signal compression and reconstruction]()
published on October 11, 2022Morse-theoretic signal compression and reconstruction
By Kathryn Hess Bellwald
![On the ∞-topos semantics of homotopy type theory 3: all ∞-toposes have strict univalent universes]()
01:40:57published on March 14, 2022On the ∞-topos semantics of homotopy type theory 3: all ∞-toposes have strict univalent universes
By Emily Riehl
![On the ∞-topos semantics of homotopy type theory 2: the simplicial model of univalent foundations]()
01:21:55published on March 14, 2022On the ∞-topos semantics of homotopy type theory 2: the simplicial model of univalent foundations
By Emily Riehl
![On the ∞-topos semantics of homotopy type theory 1: a categorical semantics of dependent type theory]()
01:33:58published on March 14, 2022On the ∞-topos semantics of homotopy type theory 1: a categorical semantics of dependent type theory
By Emily Riehl
