Let p: E → S be a pre-cohesive geometric morphism. We show that the least subtopos of E containing both the subcategories p^* : S → E and p^! : S → E exists, and that it coincides with the least subtopos containing p^*2, where 2 denotes the subobject classifier of S.
Keywords: Topos, Axiomatic Cohesion, Aufhebung
2020 MSC: 18B25,18F10
Theory and Applications of Categories, Vol. 42, 2024, No. 8, pp 172-179.
Published 2024-07-23.
TAC Home