I have added (here) a section “Powering of $\infty$-toposes over $\infty$-groupoids” with some basic statements and their elementary proofs.

This is for completeness, as other entries keep trying to refer to this without having a good page to point to (e.g. *categorical homotopy groups in an (infinity,1)-topos*).

But also, this deserves to be stated elsewhere, such as at *(infinity,1)-topos*. So I think I’ll make it an `!include`

-page *powering of ∞-toposes over ∞-groupoids – section*.

Will also add some comments about cohesion now, but first to get a coffee now.

]]>I brushed up the entry power a bit: wrote an Idea-section, created an Examples-section etc.

]]>