Michael Shulman: Papers

Abstraction: Michael Shulman's research index on category theory and homotopy type theory

Key points:

• Shulman's primary research areas: higher category theory, homotopy type theory (HoTT), logic/set theory, and their applications to computer science
• Narya: a proof assistant for higher-dimensional type theory, implementing Higher Observational Type Theory (H.O.T.T.)
• Co-author of the HoTT Book (Univalent Foundations of Mathematics), the foundational text for the Univalent Foundations Program
• Key contributions: univalence axiom, modalities in HoTT, synthetic ∞-categories (with Riehl), higher structure identity principle, internal parametricity
• Category theory work includes enriched categories, framed bicategories, symmetric monoidal bicategories, generalized multicategories, and magnitude homology
• Logic work covers affine/linear logic, multimodal adjoint type theory, and comparisons of material vs structural set theories

Connections: Michael Shulman · Homotopy Type Theory · Category Theory · Type Theory · Proof Assistants

Source: https://home.sandiego.edu/~shulman/papers/index.html