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

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.