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 started
constant infinity-stack (existed before, edited it a bit)
still need locally constant function
I added now to locally constant infinity-stack the version of the story of "covering oo-groupoids" in an arbiztrary oo-topos as I now think it should be.
It is the part introduced with a query box asking for sanity-checks.
still need locally constant function
That seemed easy enough to start, so I did.
thanks. I added the remark about the hierarchy of locally constant n-stacks...
added the Polesello-Waschkies reference with a detailed account of page and verse of their theorems and how they fit into the general abstract picture as the entry presents it now. See locally constant oo-stack - References
Since when are locally constant things always finite? I would say "locally finite" when that's the case.
I have been wondering about the emphasis on finite fibres too. Generally speaking, such a restriction is only necessary in an algebro-geometric setting, and even then, I personally think that for (n-)groupoids such a thing might have to be relaxed.
Yes, I had meant to remove this. I'll do so, but maybe not right now, as my machine's battery is dying...
1 to 8 of 8