Talk:∞-groupoid

Homotopy hyopthesis
I don't understand the statement of the homotopy hypothesis. What does it mean for a Kan simplicial set to be a space? — Preceding unsigned comment added by 83.248.14.62 (talk) 19:08, 21 October 2015 (UTC)

Globular groupoids
This page should include a discussion of the definition of globular groupoids and give different examples of constructions of higher groupoids. This should include higher (small) categories as globular sets, chain complexes. There should also be a mention of the higher groupoids from recursive quotients on a space. For example, take the plane, fold it in half, then take that half-plane, fold it in half again, then keep doing this to each triangle. This should be an infinity stacky line with an infinity groupoid as a stabilizer. — Preceding unsigned comment added by Username6330 (talk • contribs) 22:42, 10 November 2017 (UTC)

Test categories
There should also be a section mentioning test categories and some of their basic properties. The notes attached to this article provide some nice motivation.

Pursuing Stacks
There is a nice digitization of pursuing stacks found at https://thescrivener.github.io/PursuingStacks/ps-online.pdf

Stupid Symbol
What an unfortunate name is this ?SYMBOL?-groupoid? You can not even write this into a search engine... — Preceding unsigned comment added by 2A02:8109:D3F:E9A4:5928:4A75:2880:DD7E (talk) 22:55, 25 December 2017 (UTC)