If topology were invented for algebraic geometry or logic, in ignorance of Euclidean space, we might reasonably regard connected compact Hausdorff spaces as pathological, or even doubt their existence. After all, Hausdorffness is a "separation" condition whereas connectedndess is a "nonseparation" condition -- it would seem strange that they should be compatible if you'd only seen spectral spaces or Stone spaces but not Euclidean spaces.


Luckily though, we know about Euclidean space and spaces built from it, and their central importance to mathematics. But they are very special, being as they are balanced between separatedness and nonseparatedness. For instance, every connected compact abelian group is a torus. Every number field has finitely many infinite places -- which are mysterious in a way that finite places are not. And so forth.


When it comes to $\infty$-topos theory as a generalization of topology, I wonder what the infinite places are. All the generalized concepts are there:


* A *proper* geometric morphism (HTT 7.3.1.4) $\mathcal Y \to \mathcal X$ is one which satisfies a Beck-Chevalley condition, stably under pullback.


	+ So a *compact* $\infty$-topos $\mathcal X$ is one such that the global sections geometric morphism $t\_\ast: \mathcal X \to Spaces$ is proper.
	+ And a *Hausdorff* $\infty$-topos $\mathcal X$ is one such that the diagonal $\mathcal X \to \mathcal X \otimes \mathcal X$ is proper (here $\mathcal X \otimes \mathcal X$ is the [Lurie tensor product](https://ncatlab.org/nlab/show/tensor+product+of+presentable+%28infinity%2C1%29-categories), which is the product in the category of toposes by HTT 7.3.3.9).
* Generalizing from ordinary topos theory, an [$\infty$-connected geometric morphism](https://ncatlab.org/nlab/show/connected+topos) is one such that the left adjoint $t^\ast: Spaces \to \mathcal X$ to global sections is fully faithful.
* Generalizing again from ordinary topos theory, a [locally $\infty$-connected topos](https://ncatlab.org/nlab/show/locally+connected+geometric+morphism) is one such that $t^\ast$ has a further left adjoint $t\_!: \mathcal X \to Spaces$.



> 
> **Question:**
> 
> 
> What's an example of a compact Hausdorff, $\infty$-connected, locally $\infty$-connected $\infty$-topos other than $Spaces$ itself?
> 
> 
> 


There are various ways to relax these conditions:


* If we don't require $\infty$-connectedness, then any étale topos (i.e. a slice $Spaces/X$) satisfies the remaining conditions; I'd be interested in examples other than these.
* If we don't require Hausdorffness, then we have a weakening of the notion of a [cohesive topos](https://ncatlab.org/nlab/show/cohesive+%28infinity%2C1%29-topos) (i.e. a topos which is [local](https://ncatlab.org/nlab/show/local+geometric+morphism) (a strengthening of compactness) and [strongly connected](https://ncatlab.org/nlab/show/strongly+infinity-connected+%28infinity%2C1%29-topos) (a strenghtening of connected + locally connected)). My sense is that there are lots of cohesive toposes, so I think that Hausdorffness may be what sets this question apart from questions about cohesion.
* We could relax compactness to local compactness or exponentiability or even do away with it altogether. I'd be interested in such examples.
* ...



Are there continua in $\infty$-topoi?
Every contractible finite CW complex $X$ satisfies these conditions. This follows from results in Section 7.3 of HTT and Appendix A of HA: we have $Shv(X) \otimes Shv(X)=Shv(X\times X)$ since $X$ is locally compact, proper morphisms between locally compact Hausdorff spaces give proper morphisms of $\infty$-topoi (so $Shv(X)$ is compact and Hausdorff), contractible topological spaces have trivial shape (so $t^\*$ is fully faithful), and CW complexes are locally of constant shape (so $t\_!$ exists).


The Hilbert cube is a non-CW example.


A non-$0$-localic example is presheaves on an $\infty$-category with finite sums, or more generally any weakly contractible $\infty$-category $C$ such that $C$ and $C\_{(x,y)/}$ (for all $x,y\in C$) admit coinitial functors from finite $\infty$-categories (these guarantee compactness and Hausdorfness, respectively).


