I added a number of facts and proofs to connected topos, and shortened the example since it is a special case of the general fact about connected locally connected sites.

]]>I split off ∞-connected (∞,1)-topos from locally ∞-connected (∞,1)-topos and added a proof that a locally ∞-connected (∞,1)-topos is ∞-connected iff the left adjoint $\Pi$ preserves the terminal object, just as in the 1-categorical case. I also added a related remark to shape of an (∞,1)-topos saying that when H is locally ∞-connected, its shape is represented by $\Pi(*)$.

I hope that these are correct, but it would be helpful if someone with a little more $\infty$-categorical confidence could make sure I’m not assuming something that doesn’t carry over from the 1-categorical world.

]]>