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.
I have created in my own nlab, a programmatic entry mainstream mathematics (zoranskoda).
Maybe somebody would be inspired to right some entry on the notion of mainstream mathematics which is more authorative in the main lab, and my entry could be one of the starting point of thinking, but I assume it would be too controversial for my entry to be even a beginning form of nlab entry. People from the philosophy spectrum of the nlab could be consulted here.
By the way, Prof. Joyal has created in his catlab an awesome history list North American School of Category Theory (joyalscatlab).
1 to 3 of 3