Author Archives: Emily Riehl
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
Postdoctoral position in Higher Category Theory at Johns Hopkins
The Department of Mathematics at Johns Hopkins University solicits applications for one two-year postdoctoral fellowship beginning Summer 2021 (with some flexibility in the start and end dates). The position is funded by the Army Research Office (ARO) through the Multidisciplinary … Continue reading
Postdoctoral position in HoTT at Johns Hopkins University
The Department of Mathematics at Johns Hopkins University solicits applications for one two-year postdoctoral fellowship beginning Summer 2021 (with some flexibility in the start and end dates). The position is funded by the Air Force Office of Scientific Research (AFOSR) … Continue reading
Homotopy Type Theory 