added to the Idea-section and the Examples-section the statement that an n-localic -topos is one that behaves like a generalized -groupoid. Specifically that for -truncted, the topos-incarnation of is -localic (if was at least -localic to begin with, this can be lower-degree localic!)
]]>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.
]]>