3 papers
math.CT2025
Non-singular maps in toposes with a local state classifier
Matí as Menni
Recent progress on the question of the size of the class of connected and hyperconnected geometric morphisms from a given topos has led to the definition of {\em local state classi…
math.CT2024
The least subtopos containing the discrete skeleton of
Matí as Menni
Let be a pre-cohesive geometric morphism. We show that the least subtopos of containing both the subcategories $p^*: \mathcal{S} \to…
math.CT2023
The successive dimension, without elegance
Matí as Menni
Experience shows that the poset of levels (or dimensions) of the topos of presheaves on some elegant Reedy categories may be equipped with a monotone increasing `successor' functio…