Mathematics
Mike Shulman's user avatar
Mike Shulman's user avatar
Mike Shulman's user avatar
Mike Shulman
  • Member for 10 years, 1 month
  • Last seen this week
Profile Activity
Stats
4,734
reputation
37k
reached
72
answers
12
questions
Communities
View all
About

I am an associate professor of mathematics at the University of San Diego. My research is in homotopy type theory and higher category theory.

Badges
View all badges
This user doesn’t have any gold badges yet.
15
silver badges
27
bronze badges
Top tags
View all tags
312
Score
64
Posts
76
Posts %
114
Score
30
Posts
36
Posts %
71
Score
13
Posts
15
Posts %
65
Score
6
Posts
7
Posts %
56
Score
12
Posts
14
Posts %
45
Score
12
Posts
14
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
26
What is wrong with ZFC?
Sep 8, 2015
answer
17
Examples of the benefits of Homotopy Type Theory for computer aided proofs?
Feb 21, 2015
answer
16
What is the future of Set Theory if it is NOT the foundation of Mathematics?
May 21, 2015
answer
15
Homotopy Type Theory prerequisites.
Jan 3, 2015
answer
13
Will Homotopy Type Theory ever be as accessible as traditional Set Theory?
Feb 19, 2016
answer
12
Computational Type Theory For Topos Logic
Aug 25, 2020
answer
10
Is there a fundamental distinction between objects and its types?
Jan 3, 2015
answer
8
What is problematic with formalizing higher category theory directly in HoTT
Apr 14, 2022
answer
8
In Homotopy Type Theory, how do the continuous notions of spaces and paths, match the discrete notions of constructible terms and proofs?
Jan 1, 2021
answer
8
Model of homotopy type theory in ZFC
Dec 25, 2015
Top network posts
View all network posts
214
Why doesn't mathematics collapse even though humans quite often make mistakes in their proofs?
103
What properties make $[0,1]$ a good candidate for defining fundamental groups?
91
Has incorrect notation ever led to a mistaken proof?
66
Can skeleta simplify category theory?
61
What packages do people load by default in LaTeX?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.