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.
have created infinity-connected site
Wait, I made a mistake. am fixing itâ€¦
Sorry, I had written the claim that open subsets of a locally contractibe topological space forms an example of the current definition of locally $\infty$-connected site. But that is trivially wrong (since we have non-connected open subsets and hence constant $\infty$-presheaves are not $\infty$-sheaves). Now, possibly that just means that the definition is currently too coarse.
Okay, so just a reminder for myself, lest I forget it once again (even though I just said it elsewher): the definition of $\infty$-connected locally $\infty$-connected site is good, but. the case of just locally $\infty$-connected sites needs more thinking.
1 to 4 of 4