Skip to main content
MathOverflow
Mike Shulman's user avatar
Mike Shulman's user avatar
Mike Shulman's user avatar
Mike Shulman
  • Member for 15 years, 2 months
  • Last seen this week
Profile Activity
Stats
66,694
reputation
1.1m
reached
558
answers
154
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
7
gold badges
162
silver badges
368
bronze badges
Top tags
View all tags
3,089
Score
509
Posts
71
Posts %
743
Score
122
Posts
17
Posts %
675
Score
82
Posts
12
Posts %
559
Score
50
Posts
7
Posts %
531
Score
49
Posts
7
Posts %
496
Score
76
Posts
11
Posts %
Top posts
View all questions and answers
answer
226
Why doesn't mathematics collapse even though humans quite often make mistakes in their proofs?
Aug 18, 2019
answer
108
What properties make $[0,1]$ a good candidate for defining fundamental groups?
Mar 26, 2012
question
92
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
69
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
46
The formal p-adic numbers
Aug 12, 2015
answer
45
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
63
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?
30
Teaching logic with a proof assistant