Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
More than half of this list is devoted to listing various proof assistants and formalization projects. Does this topic really warrant such an oversized representation in an article with a generic title “mathematics”?
Also, Categories and Sheaves, Sheaves in Geometry and Logic, Higher Topos Theory are good books, but do they really deserve such a prominent placement on top of the article? I suggest removing them.
Yes, this content list (and its cousins) needs attention. The bulk of the edits to this page happened back in 2009, when the nLab was a rather different place.
1 to 2 of 2