MathOverflow
David Spivak's user avatar
David Spivak's user avatar
David Spivak's user avatar
David Spivak
  • Member for 14 years, 3 months
  • Last seen more than a week ago
Profile Activity
Stats
8,559
reputation
93k
reached
17
answers
77
questions
Communities
View all
Badges
View all badges
1
gold badge
28
silver badges
62
bronze badges
Top tags
View all tags
45
Score
74
Posts
79
Posts %
30
Score
9
Posts
10
Posts %
22
Score
5
Posts
5
Posts %
19
Score
6
Posts
6
Posts %
9
Score
15
Posts
16
Posts %
3
Score
4
Posts
4
Posts %
Top posts
View all questions and answers
question
54
Lawvere's "Some thoughts on the future of category theory."
Jan 27, 2010
question
34
What can be expressed in and proved with the internal logic of a topos?
Mar 19, 2013
question
26
What is known about the category of monads on Set?
Feb 12, 2011
question
25
Another notion of exactness: how to refine it, and where does it fit?
Aug 1, 2018
question
24
The topologies for which a presheaf is a sheaf?
Apr 13, 2014
answer
22
Use of Conjectures to Prove a Theorem
Jul 24, 2010
question
21
Is the order on repeated exponentiation the Dyck order?
Jan 1, 2018
question
20
What to do with antique math books?
Dec 26, 2009
question
19
How to triangulate a math reference?
Mar 13, 2013
question
18
Categorical description of log as approximate rig homomorphism?
Jan 18, 2020
Top network posts
View all network posts
10
Box around tikz-cd diagram, without ampersand replacement
5
Argument of \posttitle has an extra }