MathOverflow
Mike Shulman's user avatar
Mike Shulman's user avatar
Mike Shulman's user avatar
Mike Shulman
  • Member for 13 years, 8 months
  • Last seen this week
Profile Activity
Stats
62,732
reputation
970k
reached
539
answers
153
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
146
silver badges
346
bronze badges
Top tags
View all tags
2,858
Score
491
Posts
71
Posts %
679
Score
117
Posts
17
Posts %
635
Score
80
Posts
12
Posts %
533
Score
50
Posts
7
Posts %
499
Score
48
Posts
7
Posts %
475
Score
75
Posts
11
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
209
Why doesn't mathematics collapse even though humans quite often make mistakes in their proofs?
Aug 18, 2019
answer
103
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
69
The "derived drift" is pretty unsatisfying and dangerous to category theory (or at least, to me)
Dec 31, 2017
answer
66
Can skeleta simplify category theory?
Jan 13, 2010
answer
59
How to rewrite mathematics constructively?
Jan 22, 2021
question
49
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
42
Is pure mathematics useful outside of mathematics itself?
May 11, 2021
Top Meta posts
2
3
14
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?
52
Should we say that fractions "are" or "represent" numbers?
40
Has anyone ever accidentally "proven" a false theorem with type-in-type?
35
A calculus book that uses differentials?
28
Teaching logic with a proof assistant

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.