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 rewrote the Idea-section at n-localic (infinity,1)-topos (trying to make it more to the point) and added propositions in the Properties- and the Examples-section.
added to the Idea-section and the Examples-section the statement that an n-localic $(\infty,1)$-topos is one that behaves like a generalized $n$-groupoid. Specifically that for $U \in \mathcal{X}$ $n$-truncted, the topos-incarnation $\mathcal{X}/U$ of $U$ is $n$-localic (if $\mathcal{X}$ was at least $n$-localic to begin with, this can be lower-degree localic!)
1 to 2 of 2