Framed bicategories and monoidal fibrations MA Shulman
arXiv preprint arXiv:0706.1286, 2007
234 2007 Univalence for inverse diagrams and homotopy canonicity M Shulman
Mathematical Structures in Computer Science 25 (5), 1203-1277, 2015
165 2015 Univalent categories and the Rezk completion B Ahrens, K Kapulkin, M Shulman
Mathematical Structures in Computer Science 25 (5), 1010-1039, 2015
136 2015 A type theory for synthetic -categories E Riehl, M Shulman
arXiv preprint arXiv:1705.07442, 2017
135 2017 Brouwer's fixed-point theorem in real-cohesive homotopy type theory M Shulman
Mathematical Structures in Computer Science 28 (6), 856-941, 2018
130 2018 All -toposes have strict univalent universes M Shulman
arXiv preprint arXiv:1904.07004, 2019
123 2019 Modalities in homotopy type theory B Spitters, M Shulman, E Rijke
Logical Methods in Computer Science 16, 2020
111 * 2020 Calculating the fundamental group of the circle in homotopy type theory DR Licata, M Shulman
2013 28th annual acm/ieee symposium on logic in computer science, 223-232, 2013
108 2013 Homotopy limits and colimits and enriched homotopy theory M Shulman
arXiv preprint math/0610194, 2006
106 2006 Semantics of higher inductive types PLF Lumsdaine, M Shulman
Mathematical Proceedings of the Cambridge Philosophical Society 169 (1), 159-208, 2020
103 2020 The HoTT library: a formalization of homotopy type theory in Coq A Bauer, J Gross, PLF Lumsdaine, M Shulman, M Sozeau, B Spitters
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
99 2017 A unified framework for generalized multicategories GSH Cruttwell, MA Shulman
arXiv preprint arXiv:0907.2460, 2009
99 2009 Constructing symmetric monoidal bicategories MA Shulman
arXiv preprint arXiv:1004.0993, 2010
86 2010 The univalence axiom for elegant Reedy presheaves M Shulman
arXiv preprint arXiv:1307.6248, 2013
77 2013 Set theory for category theory MA Shulman
arXiv preprint arXiv:0810.1279, 2008
73 2008 Quantum gauge field theory in cohesive homotopy type theory U Schreiber, M Shulman
arXiv preprint arXiv:1408.0054, 2014
70 2014 A fibrational framework for substructural and modal logics DR Licata, M Shulman, M Riley
2nd International Conference on Formal Structures for Computation and …, 2017
69 2017 Enriched categories as a free cocompletion R Garner, M Shulman
Advances in Mathematics 289, 1-94, 2016
61 2016 Lectures on N -Categories and Cohomology JC Baez, M Shulman
Towards higher categories, 1-68, 2010
59 2010 Comparing composites of left and right derived functors. M Shulman
The New York Journal of Mathematics [electronic only] 17, 75-125, 2011
56 2011