Homotopy Type Theory
HoTT2019 Summer School open problems list

Here are the open problems stated at the HoTT 2019 Summer School, listed by the instructor who posed the problem:

Mathieu Anel: Logos Theory

Egbert Rijke: Synthetic Homotopy Theory

Jonas Frey: The Coherence Problem

Anders Mortberg: Cubical Type Theory

Guillaume Brunerie: Computation in Cubical Type Theory

Kristina Sojakova:

Steve Awodey:

Return to open problems.