Folgen
Michael Shulman
Michael Shulman
Associate Professor of Mathematics, University of San Diego
Bestätigte E-Mail-Adresse bei sandiego.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Framed bicategories and monoidal fibrations
MA Shulman
arXiv preprint arXiv:0706.1286, 2007
2432007
Univalence for inverse diagrams and homotopy canonicity
M Shulman
Mathematical Structures in Computer Science 25 (5), 1203-1277, 2015
1672015
A type theory for synthetic -categories
E Riehl, M Shulman
arXiv preprint arXiv:1705.07442, 2017
1412017
Univalent categories and the Rezk completion
B Ahrens, K Kapulkin, M Shulman
Mathematical Structures in Computer Science 25 (5), 1010-1039, 2015
1392015
Brouwer's fixed-point theorem in real-cohesive homotopy type theory
M Shulman
Mathematical Structures in Computer Science 28 (6), 856-941, 2018
1322018
All -toposes have strict univalent universes
M Shulman
arXiv preprint arXiv:1904.07004, 2019
1252019
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
1102013
A unified framework for generalized multicategories
GSH Cruttwell, MA Shulman
arXiv preprint arXiv:0907.2460, 2009
1072009
Homotopy limits and colimits and enriched homotopy theory
M Shulman
arXiv preprint math/0610194, 2006
1072006
Semantics of higher inductive types
PLF Lumsdaine, M Shulman
Mathematical Proceedings of the Cambridge Philosophical Society 169 (1), 159-208, 2020
1042020
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
992017
Constructing symmetric monoidal bicategories
MA Shulman
arXiv preprint arXiv:1004.0993, 2010
892010
The univalence axiom for elegant Reedy presheaves
M Shulman
arXiv preprint arXiv:1307.6248, 2013
772013
Set theory for category theory
MA Shulman
arXiv preprint arXiv:0810.1279, 2008
742008
Quantum gauge field theory in cohesive homotopy type theory
U Schreiber, M Shulman
arXiv preprint arXiv:1408.0054, 2014
702014
A fibrational framework for substructural and modal logics
DR Licata, M Shulman, M Riley
2nd International Conference on Formal Structures for Computation and …, 2017
692017
Enriched categories as a free cocompletion
R Garner, M Shulman
Advances in Mathematics 289, 1-94, 2016
642016
Lectures on N-Categories and Cohomology
JC Baez, M Shulman
Towards higher categories, 1-68, 2010
592010
Comparing composites of left and right derived functors.
M Shulman
The New York Journal of Mathematics [electronic only] 17, 75-125, 2011
582011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20