MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Say an $\infty$-topos $\mathbf{H}$ is cohesive if its global section geometric morphism $\Gamma : \mathbf{H} \to \infty \mathrm{Grpd}$ admits a further left adjoint $\Pi$ and a further right adjoint $\mathrm{Codisc}$:

$$(\Pi \dashv \mathrm{Disc} \dashv \Gamma \dashv \mathrm{Codisc}) : \mathbf{H} \to \infty \mathrm{Grpd}$$

with $\mathrm{Disc}$ and $\mathrm{Codisc}$ full and faithful and such that $\Pi$ moreover preserves finite products.


  1. $\mathrm{Codisc}$ induces an $\infty$-quasitopos $\mathrm{Conc}(\mathbf{H}) \hookrightarrow \mathbf{H}$ of concrete objects, those that look like $\infty$-groupoids equipped with extra cohesive structure : for instance with topology, or with smooth structure.

  2. $\Pi$ sends an object $X$ to its geometric path $\infty$-groupoid, which co-classifies locally constant $\infty$--stacks on $X$;

More details are at,1)-topos , where also some (classes of) examples are discussed.

Question. What other (classes of) examples can you find?

Specifically, which "derived" $\infty$-toposes (over $\infty$-sites of certain duals of algebras over $\infty$-algebraic theories) are cohesive?

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.