Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2505.08766 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866909609240821760 |
|---|---|
| author | Caramello, Olivia Osmond, Axel |
| author_facet | Caramello, Olivia Osmond, Axel |
| contents | We arrange morphisms and comorphisms of sites as the horizontal and vertical cells of a double category of sites; using the formalism of extensions and restrictions of presheaves, we explains how one can define a sheafification double functor from this double category to the quintet double category of Grothendieck topoi. We describe properties of this double functor and recover some classical results of topos theory through a new notion of locally exact square, generalizing exact squares in the presence of topologies. We also describe a 2-comonad on $\Cat$ for which lax morphisms of coalgebras are morphisms of sites and colax morphisms are comorphisms of sites, explaining the arrangement as a double category. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_08766 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Morphisms and comorphisms of sites I -- Double categories of sites Caramello, Olivia Osmond, Axel Category Theory We arrange morphisms and comorphisms of sites as the horizontal and vertical cells of a double category of sites; using the formalism of extensions and restrictions of presheaves, we explains how one can define a sheafification double functor from this double category to the quintet double category of Grothendieck topoi. We describe properties of this double functor and recover some classical results of topos theory through a new notion of locally exact square, generalizing exact squares in the presence of topologies. We also describe a 2-comonad on $\Cat$ for which lax morphisms of coalgebras are morphisms of sites and colax morphisms are comorphisms of sites, explaining the arrangement as a double category. |
| title | Morphisms and comorphisms of sites I -- Double categories of sites |
| topic | Category Theory |
| url | https://arxiv.org/abs/2505.08766 |