# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeJan 3rd 2011

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.

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeJan 3rd 2011

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!)