David Roberts
Pure mathematician interested in category theory and foundations.
9
answers
7
questions
~15k
people reached
 Adelaide, Australia
 ncatlab.org/nlab/show/…
 Member for 6 years, 6 months
 251 profile views
 Last seen yesterday
Communities (13)
Top Network Posts
 65What package allows Elvish in TeX?
 57Titles composed entirely of math symbols
 45A bestiary of topologies on Sch
 33Where are the second (and third)generation proofs of the classification of finite simple groups up to?
 32How much of the ATLAS of finite groups is independently checked and/or computer verified?
 30Do we have nonabelian sheaf cohomology?
 29What is the reverse mathematical strength of the fundamental theorem of algebra?
 View more network posts →
Top Tags (19)
discussion
Score 68
Posts 10
Posts % 62
biglist
Score 49
Posts 1
sitepromotion
Score 10
Posts 2
Badges (28)
Gold
—

Silver
11
Rarest

Bronze
17
Rarest
