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 of structured (infinity,1)-topos.
i tried to make it clearer and shorter. And I highlighter more the aspect that this is a way to equip little $\infty$-toposes with geometric structure.
I have begun trying to make at structured (infinity,1)-topos the notions of structure sheaves as “local algebras over essentially algebraic $\infty$-theories” = “algebras over geometric $\infty$-theories” more explicit.
To that end I have
reorganized the TOC slightly,
added after the definition of structure sheaves a remark;
expanded the section on classifying toposes and renamed it to As algebras over geometric (oo,1)-theories
1 to 2 of 2