Local fibrations and morphisms of relative toposes
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866909696265289728 |
|---|---|
| author | Bartoli, Léo Caramello, Olivia |
| author_facet | Bartoli, Léo Caramello, Olivia |
| contents | We introduce the notion of local fibration, a generalization of the notion of fibration which takes into account the presence of Grothendieck topologies on the two categories, and show that the classical results about fibrations lift to this more general setting. As an application of this notion, we obtain a characterization of the functors between relative sites that induce a morphism between the corresponding relative toposes: these are exactly the morphisms of sites which are morphisms of local fibrations. Also, we prove a weak version of Diaconescu's theorem, providing an equivalence between the continuous morphisms of local fibrations towards the canonical stack of a relative topos and the weak morphisms between the associated indexed toposes. The paper also contains a number of results of independent interest on morphisms of toposes and their associated stacks, including a fibrational characterization of locally connected (resp. totally connected) morphisms. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_14379 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Local fibrations and morphisms of relative toposes Bartoli, Léo Caramello, Olivia Category Theory We introduce the notion of local fibration, a generalization of the notion of fibration which takes into account the presence of Grothendieck topologies on the two categories, and show that the classical results about fibrations lift to this more general setting. As an application of this notion, we obtain a characterization of the functors between relative sites that induce a morphism between the corresponding relative toposes: these are exactly the morphisms of sites which are morphisms of local fibrations. Also, we prove a weak version of Diaconescu's theorem, providing an equivalence between the continuous morphisms of local fibrations towards the canonical stack of a relative topos and the weak morphisms between the associated indexed toposes. The paper also contains a number of results of independent interest on morphisms of toposes and their associated stacks, including a fibrational characterization of locally connected (resp. totally connected) morphisms. |
| title | Local fibrations and morphisms of relative toposes |
| topic | Category Theory |
| url | https://arxiv.org/abs/2507.14379 |