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, 8 months
 255 profile views
 Last seen Jul 19 at 2:33
Communities (14)
Top Network Posts
 67What package allows Elvish in TeX?
 57Titles composed entirely of math symbols
 46A bestiary of topologies on Sch
 37How much of the ATLAS of finite groups is independently checked and/or computer verified?
 33Where are the second (and third)generation proofs of the classification of finite simple groups up to?
 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
