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

Silver
11
Rarest

Bronze
17
Rarest
