关注
Michael Shulman
Michael Shulman
Associate Professor of Mathematics, University of San Diego
在 sandiego.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Framed bicategories and monoidal fibrations
MA Shulman
arXiv preprint arXiv:0706.1286, 2007
2532007
Univalence for inverse diagrams and homotopy canonicity
M Shulman
Mathematical Structures in Computer Science 25 (5), 1203-1277, 2015
1692015
Univalent categories and the Rezk completion
B Ahrens, K Kapulkin, M Shulman
Mathematical Structures in Computer Science 25 (5), 1010-1039, 2015
1422015
A type theory for synthetic -categories
E Riehl, M Shulman
arXiv preprint arXiv:1705.07442, 2017
1412017
Brouwer's fixed-point theorem in real-cohesive homotopy type theory
M Shulman
Mathematical Structures in Computer Science 28 (6), 856-941, 2018
1382018
All -toposes have strict univalent universes
M Shulman
arXiv preprint arXiv:1904.07004, 2019
1342019
Modalities in homotopy type theory
B Spitters, M Shulman, E Rijke
Logical Methods in Computer Science 16, 2020
116*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
1122013
Homotopy limits and colimits and enriched homotopy theory
M Shulman
arXiv preprint math/0610194, 2006
1122006
A unified framework for generalized multicategories
GSH Cruttwell, MA Shulman
arXiv preprint arXiv:0907.2460, 2009
1082009
Semantics of higher inductive types
PLF Lumsdaine, M Shulman
Mathematical Proceedings of the Cambridge Philosophical Society 169 (1), 159-208, 2020
1062020
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
1032017
Constructing symmetric monoidal bicategories
MA Shulman
arXiv preprint arXiv:1004.0993, 2010
902010
The univalence axiom for elegant Reedy presheaves
M Shulman
arXiv preprint arXiv:1307.6248, 2013
792013
Set theory for category theory
MA Shulman
arXiv preprint arXiv:0810.1279, 2008
772008
A fibrational framework for substructural and modal logics
DR Licata, M Shulman, M Riley
2nd International Conference on Formal Structures for Computation and …, 2017
742017
Quantum gauge field theory in cohesive homotopy type theory
U Schreiber, M Shulman
arXiv preprint arXiv:1408.0054, 2014
742014
Enriched categories as a free cocompletion
R Garner, M Shulman
Advances in Mathematics 289, 1-94, 2016
722016
Lectures on N-Categories and Cohomology
JC Baez, M Shulman
Towards higher categories, 1-68, 2010
632010
Comparing composites of left and right derived functors.
M Shulman
The New York Journal of Mathematics [electronic only] 17, 75-125, 2011
592011
系统目前无法执行此操作,请稍后再试。
文章 1–20