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.
for completeness I think there is a point in having an entry discrete infinity-groupoid. So I have created it.
(We already had discrete group with the same purpose.)
I have added a section $Top$ a s a cohesive (oo,1)-topos
I have edited discrete infinity-groupoid a little bit more in an attempt to slightly polish the exposition further.
For completeness I have added to discrete infinity-groupoid a section on “discrete principal $\infty$-bundles” and how they are modeled by simplicial principal bundles, using material given there and at other places on the $n$Lab
1 to 4 of 4