Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2408.00514 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- 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 \mathcal{E}$ and $p^!: \mathcal{S} \to \mathcal{E}$ exists, and that it coincides with the least subtopos containing $p^*2$, where 2 denotes the subobject classifier of $\mathcal{S}$.