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
 226 profile views
 Last seen yesterday
Communities (12)
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?
 29What is the reverse mathematical strength of the fundamental theorem of algebra?
 29Do we have nonabelian sheaf cohomology?
 28How much of the ATLAS of finite groups is independently checked and/or computer verified?
 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
