Michael Shulman

Publications

• Modalities in Homotopy Type Theory. Egbert Rijke, Michael Shulman, Bas Spitters. 2020.
• All (∞,1)-Toposes Have Strict Univalent Universes. Michael Shulman. 2019.
• A Type Theory for Synthetic ∞-Categories. Emily Riehl, Michael Shulman. 2017.
• Quantum Gauge Field Theory in Cohesive Homotopy Type Theory. Urs Schreiber, Michael Shulman. 2014.