David Roberts
Pure mathematician interested in category theory and foundations.
My blog: theHigherGeometer
-
Adelaide, Australia
-
Member for 10 years, 6 months
-
5 profile views
-
Last seen Jan 12 at 5:07
Communities (17)
- MathOverflow 28k 28k 66 gold badges8484 silver badges227227 bronze badges
- Mathematics 1.9k 1.9k 1414 silver badges3131 bronze badges
- TeX - LaTeX 1.8k 1.8k 11 gold badge1313 silver badges2424 bronze badges
- Science Fiction & Fantasy 1.6k 1.6k 1212 silver badges2020 bronze badges
- Academia 1.2k 1.2k 1111 silver badges2323 bronze badges
- View network profile
Top network posts
- 196 Most memorable titles
- 86 What package allows Elvish in TeX?
- 70 Titles composed entirely of math symbols
- 63 A bestiary of topologies on Sch
- 48 Double blind peer review when paper cites author's GitHub repo for code
- 48 How much of the ATLAS of finite groups is independently checked and/or computer verified?
- 46 How true are theorems proved by Coq?
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.
Badges (10)
Gold
—
Silver
8
Rarest
Bronze
2
Rarest
-
Jul 6 '11
-
Jan 30 '13