Publications (32)
Enriched indexed categories
Michael Shulman
The univalence axiom for elegant Reedy presheaves
Michael Shulman
All $(\infty,1)$-toposes have strict univalent universes
Michael Shulman
Comparing material and structural set theories
Michael Shulman
Univalent categories and the Rezk completion
Benedikt Ahrens, Chris Kapulkin, Michael Shulman
Shadows and traces in bicategories
Kate Ponto, Michael Shulman
Idempotents in intensional type theory
Michael Shulman
Enriched categories as a free cocompletion
Richard Garner, Michael Shulman
Mayer-Vietoris sequences in stable derivators
Moritz Groth, Kate Ponto, Michael Shulman
Traces in symmetric monoidal categories
Kate Ponto, Michael Shulman
The multiplicativity of fixed point invariants
Kate Ponto, Michael Shulman
Quantum Gauge Field Theory in Cohesive Homotopy Type Theory
Urs Schreiber, Michael Shulman
The linearity of traces in monoidal categories and bicategories
Kate Ponto, Michael Shulman
Exact completions and small sheaves
Michael Shulman
Reedy categories and their generalizations
Michael Shulman
Enhanced 2-categories and limits for lax morphisms
Stephen Lack, Michael Shulman
The additivity of traces in monoidal derivators
Moritz Groth, Kate Ponto, Michael Shulman
Brouwer's fixed-point theorem in real-cohesive homotopy type theory
Michael Shulman
Duality and traces for indexed monoidal categories
Kate Ponto, Michael Shulman
Comparing composites of left and right derived functors
Michael Shulman
Calculating the Fundamental Group of the Circle in Homotopy Type Theory
Daniel R. Licata, Michael Shulman
Contravariance through enrichment
Michael Shulman
The Shape of Infinity
Michael Shulman
Homotopy Type Theory: A synthetic approach to higher equalities
Michael Shulman
The linearity of fixed point invariants
Kate Ponto, Michael Shulman
Parametricity, automorphisms of the universe, and excluded middle
Auke Bart Booij, MartÃn Hötzel Escardó, Peter LeFanu Lumsdaine +1
Univalence for inverse EI diagrams
Michael Shulman
Of Matters Condensed
Michael Shulman, Marc Warner
Lectures on n-Categories and Cohomology
John C. Baez, Michael Shulman
Univalence for inverse diagrams and homotopy canonicity
Michael Shulman
Homotopy type theory: the logic of space
Michael Shulman
Homotopy limits and colimits and enriched homotopy theory
Michael Shulman