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.
tried to polish 3-groupoid a little
I added two references. Unfortunately Paoli’s paper does not seem to be free online!
Given that you’re leaving the continent in probably a few minutes, it is amazing you’re even still working on the nLab, but I added the link to Paoli’s paper on the arxiv :)
1 to 3 of 3