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.
finally: stub for topological infinity-groupoid
main point there: the reference! :-)
added now details of the statement of Dugger's theorem there.
I brushed up the entry topological infinity-groupoid a little, defining them more concretely (hehe) as concrete objects in the cohesive -topos .
1 to 3 of 3