MathOverflow
Mike Shulman's user avatar
Mike Shulman's user avatar
Mike Shulman's user avatar
Mike Shulman
  • Member for 14 years, 6 months
  • Last seen this week
Profile Activity
Stats
65,104
reputation
1.0m
reached
551
answers
153
questions
top 0.20% overall
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
7
gold badges
158
silver badges
356
bronze badges
Top tags
View all tags
2,994
Score
501
Posts
71
Posts %
728
Score
121
Posts
17
Posts %
664
Score
81
Posts
12
Posts %
549
Score
50
Posts
7
Posts %
519
Score
48
Posts
7
Posts %
487
Score
76
Posts
11
Posts %
Top posts
View all questions and answers
answer
218
Why doesn't mathematics collapse even though humans quite often make mistakes in their proofs?
Aug 18, 2019
answer
106
What properties make $[0,1]$ a good candidate for defining fundamental groups?
Mar 26, 2012
question
91
Has incorrect notation ever led to a mistaken proof?
Aug 9, 2018
answer
71
The "derived drift" is pretty unsatisfying and dangerous to category theory (or at least, to me)
Dec 31, 2017
answer
67
Can skeleta simplify category theory?
Jan 13, 2010
answer
61
How to rewrite mathematics constructively?
Jan 22, 2021
question
48
How to correct an error in a submitted paper?
Apr 21, 2010
question
47
Brown representability for non-connected spaces
Aug 16, 2012
question
45
The formal p-adic numbers
Aug 12, 2015
answer
44
Why is Set, and not Rel, so ubiquitous in mathematics?
Feb 7, 2013
Top Meta posts
2
3
15
Answers in comments are increasingly more common
13
Are well-posed questions about the mathematics job search on topic at MO?
12
How to respond to multiple questions asked together?
6
Why was my non-big-list question made community wiki?
Top network posts
View all network posts
61
What packages do people load by default in LaTeX?
55
Should we say that fractions "are" or "represent" numbers?
43
Has anyone ever accidentally "proven" a false theorem with type-in-type?
37
A calculus book that uses differentials?
29
Teaching logic with a proof assistant