Stack Exchange

David Roberts

Adelaide, Australia

http://ncatlab.org/nlab/show/David+Roberts

Pure mathematician interested in category theory and foundations.

My blog: theHigherGeometer

top accounts reputation activity favorites subscriptions
Top Questions
80 votes

What package allows Elvish in TeX?

fonts packages languages asked Mar 9 '11 at 8:43
tex.stackexchange.com

59 votes

A bestiary of topologies on Sch

ag.algebraic-geometry grothendieck-topology ct.category-theory asked Sep 5 '11 at 2:06
mathoverflow.net

46 votes

How much of the ATLAS of finite groups is independently checked and/or computer verified?

gr.group-theory rt.representation-theory finite-groups formal-proof character-theory asked Aug 19 '15 at 3:16
mathoverflow.net

44 votes

Where are the second- (and third-)generation proofs of the classification of finite simple groups up to?

gr.group-theory asked Nov 29 '12 at 23:59
mathoverflow.net

43 votes

How true are theorems proved by Coq?

foundations type-theory proof-assistants formal-proof coq asked Mar 25 '11 at 5:57
mathoverflow.net

32 votes

What is the reverse mathematical strength of the fundamental theorem of algebra?

lo.logic reverse-math asked Jun 30 '15 at 0:35
mathoverflow.net

27 votes

Use of “we have a large backlog” euphemism by journal editors when rejecting articles without sending them out for review

journals mathematics editors rejection asked Nov 12 '15 at 22:48
academia.stackexchange.com

26 votes

Next steps on formal proof of classification of finite simple groups

gr.group-theory finite-groups ho.history-overview formal-proof coq asked Jun 23 '15 at 3:20
mathoverflow.net

25 votes

What was JK Rowling referring to during the Prisoner of Azkaban DVD commentary?

movie harry-potter jk-rowling asked Sep 8 '11 at 7:25
scifi.stackexchange.com

24 votes

Why was Ondolindë always referred to as Gondolin?

tolkiens-legendarium the-silmarillion tolkien-languages asked Aug 22 '18 at 1:24
scifi.stackexchange.com

1 2 3 4 5 … 10

Top Answers
177
Most memorable titles
mathoverflow.net

69
Titles composed entirely of math symbols
mathoverflow.net

39
Do we have non-abelian sheaf cohomology?
mathoverflow.net

36
Vladimir Voevodsky's works
mathoverflow.net

32
What are some noteworthy “mic-drop” moments in math?
mathoverflow.net

31
What is a Frobenioid?
mathoverflow.net

28
Did Frodo and Gimli ever discuss the adventures of Bilbo and Glóin with each other?
scifi.stackexchange.com

27
Why are there so many smooth functions?
mathoverflow.net

27
What universities have laid off tenured math faculty for financial reasons?
mathoverflow.net

23
Who computed the third stable homotopy group?
mathoverflow.net

22
Did JRR Tolkien ever write any music for the many songs in The Lord of the Rings?
scifi.stackexchange.com

22
Conjectures in Grothendieck's “Pursuing stacks”
mathoverflow.net

21
What Are Some Naturally-Occurring High-Degree Polynomials?
mathoverflow.net

20
The concept of Duality
mathoverflow.net

20
Fundamental group of R^2-Q^2
mathoverflow.net

18
The relationship between group cohomology and topological cohomology theories
mathoverflow.net

17
Where are the second- (and third-)generation proofs of the classification of finite simple groups up to?
mathoverflow.net

17
Anabelian geometry ~ higher category theory
mathoverflow.net

16
What are some very important papers published in non-top journals?
mathoverflow.net

16
Decent Texts on Categorical Logic
mathoverflow.net

16
Arguments against large cardinals
mathoverflow.net

15
Manin's algebraic geometry textbook?
mathoverflow.net

15
What is the homotopy theory of categories?
mathoverflow.net

15
Contemporary Philosophy of Mathematics
mathoverflow.net

14
Work of plenary speakers at ICM 2014
mathoverflow.net

14
Mathematical ideas named after places
mathoverflow.net

14
Book on mathematical “rigorous” String Theory?
mathoverflow.net

14
Most memorable titles
mathoverflow.net

14
Computing `$\pi_1 S^1$` using groupoids
mathoverflow.net

12
Why pullback only defined up-to-isomorphism but nevertheless presented as functor?
mathoverflow.net

1 2 3 4 5