David Roberts
Pure mathematician interested in category theory and foundations.
9
answers
7
questions
~14k
people reached
 Adelaide, Australia
 ncatlab.org/nlab/show/…
 Member for 6 years, 5 months
 248 profile views
 Last seen 2 days ago
Communities (13)
Top Network Posts
 65What 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?
 31How 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 (19)
discussion
Score 67
Posts 10
Posts % 62
biglist
Score 48
Posts 1
sitepromotion
Score 10
Posts 2
Badges (28)
Gold
—

Silver
11
Rarest

Bronze
17
Rarest
