# Michael Shulman

#28,074

Most Influential Person Now

American mathematician

## Michael Shulman 's AcademicInfluence.com Rankings

Michael Shulman mathematics Degrees

Mathematics

#1684

World Rank

#2707

Historical Rank

#688

USA Rank

Measure Theory

#4000

World Rank

#4713

Historical Rank

#1140

USA Rank

## Download Badge

Mathematics

## Michael Shulman 's Degrees

- PhD Mathematics University of Chicago

## Why Is Michael Shulman Influential?

(Suggest an Edit or Addition)According to Wikipedia, Michael "Mike" Shulman is an American associate professor of mathematics at the University of San Diego who works in category theory and higher category theory, homotopy theory, logic as applied to set theory, and computer science.

## Michael Shulman 's Published Works

### Published Works

- Framed bicategories and monoidal fibrations (2007) (175)
- Univalence for inverse diagrams and homotopy canonicity (2012) (136)
- Lectures on N-Categories and Cohomology (2006) (97)
- Univalent categories and the Rezk completion (2013) (93)
- HOMOTOPY LIMITS AND COLIMITS AND ENRICHED HOMOTOPY THEORY (2006) (92)
- Semantics of higher inductive types (2017) (78)
- Calculating the Fundamental Group of the Circle in Homotopy Type Theory (2013) (78)
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory (2015) (77)
- A type theory for synthetic ∞-categories (2017) (69)
- Constructing symmetric monoidal bicategories (2010) (68)
- The HoTT library: a formalization of homotopy type theory in Coq (2016) (64)
- The univalence axiom for elegant Reedy presheaves (2013) (61)
- A unified framework for generalized multicategories (2009) (60)
- Modalities in homotopy type theory (2017) (57)
- Comparing composites of left and right derived functors (2007) (55)
- A Fibrational Framework for Substructural and Modal Logics (2017) (45)
- Quantum Gauge Field Theory in Cohesive Homotopy Type Theory (2014) (45)
- Shadows and traces in bicategories (2009) (44)
- Enriched categories as a free cocompletion (2013) (44)
- Set theory for category theory (2008) (40)
- Traces in symmetric monoidal categories (2011) (35)
- The additivity of traces in monoidal derivators (2012) (34)
- Enhanced 2-categories and limits for lax morphisms (2011) (32)
- Adjoint Logic with a 2-Category of Modes (2016) (30)
- Magnitude homology of enriched categories and metric spaces (2017) (29)
- EXACT COMPLETIONS AND SMALL SHEAVES (2012) (29)
- The linearity of traces in monoidal categories and bicategories (2014) (29)
- Mayer-Vietoris sequences in stable derivators (2013) (29)
- Enriched indexed categories (2012) (26)
- DUALITY AND TRACES FOR INDEXED MONOIDAL CATEGORIES (2012) (26)
- Homotopy Type Theory: Univalent Foundations of Mathematics (2013) (23)
- Homotopy Type Theory: The Logic of Space (2017) (23)
- Homotopy Type Theory: A synthetic approach to higher equalities (2016) (23)
- Stack semantics and the comparison of material and structural set theories (2010) (21)
- Univalence for inverse EI diagrams (2015) (19)
- The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions (2018) (15)
- The multiplicativity of fixed point invariants (2012) (15)
- Not every pseudoalgebra is equivalent to a strict one (2010) (14)
- Constructing symmetric monoidal bicategories functorially. (2019) (14)
- The Seifert-van Kampen Theorem in Homotopy Type Theory (2016) (13)
- Parametrized spaces model locally constant homotopy sheaves (2007) (13)
- MODEL STRUCTURES FROM HIGHER INDUCTIVE TYPES (2011) (12)
- Categories of Nets (2021) (12)
- Reedy categories and their generalizations (2015) (12)
- All $(\infty,1)$-toposes have strict univalent universes (2019) (10)
- Strict universes for Grothendieck topoi (2022) (8)
- A practical type theory for symmetric monoidal categories (2019) (8)
- The Univalence Principle (2021) (8)
- Linear logic for constructive mathematics (2018) (7)
- Parametricity, automorphisms of the universe, and excluded middle (2017) (7)
- Idempotents in intensional type theory (2015) (7)
- Contravariance through enrichment (2016) (6)
- The linearity of fixed point invariants (2014) (6)
- A type theory for synthetic $\infty$-categories (2017) (5)
- ON THE ∞ -TOPOS SEMANTICS OF HOMOTOPY TYPE THEORY (2022) (4)
- Generalized stability for abstract homotopy theories (2017) (3)
- *-autonomous envelopes and 2-conservativity of duals (2020) (3)
- Comparing material and structural set theories (2018) (3)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (2018) (2)
- GENERATORS AND COLIMIT CLOSURES (2015) (1)
- LECTURES ON n-CATEGORIES AND COHOMOLOGY TALKS BY JOHN BAEZ, NOTES BY MICHAEL SHULMAN (2006) (1)
- Erratum to: Univalent Categories and the Rezk Completion (2015) (1)
- Ju n 20 07 PARAMETRIZED SPACES ARE LOCALLY CONSTANT HOMOTOPY SHEAVES (2009) (1)
- LNL polycategories and doctrines of linear logic (2021) (1)
- Double categories and base change in homotopy theory (2009) (1)
- The derivator of setoids (2021) (1)
- WOMP 2006: ALGEBRAIC TOPOLOGY (2006) (0)
- Of Matters Condensed (2015) (0)
- Semantics of multimodal adjoint type theory (2023) (0)
- The directed plump ordering (2022) (0)
- The Shape of Infinity (2012) (0)
- *-autonomous Envelopes (2020) (0)
- *-Autonomous Envelopes and Conservativity (2020) (0)
- Shadows and traces in bicategories (2012) (0)
- PSEUDOTOPOLOGICAL SPACES AND THE STONE-ČECH COMPACTIFICATION (2008) (0)

This paper list is powered by the following services:

## Other Resources About Michael Shulman

## What Schools Are Affiliated With Michael Shulman ?

Michael Shulman is affiliated with the following schools: