The least subtopos containing the discrete skeleton of $\Omega$

Matí as Menni

Let $p:\mathcal{E}\to \mathcal{S}$ be a pre-cohesive geometric morphism. We show that the least subtopos of $\mathcal{E}$ containing both the subcategories $p^*: \mathcal{S} \to…