Functors Preserving Effective Descent Morphisms
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866913571134242816 |
|---|---|
| author | Nunes, Fernando Lucatelli Prezado, Rui |
| author_facet | Nunes, Fernando Lucatelli Prezado, Rui |
| contents | Effective descent morphisms, originally defined in Grothendieck descent theory, form a class of special morphisms within a category. Essentially, an effective descent morphism enables bundles over its codomain to be fully described as bundles over its domain endowed with additional algebraic structure, called descent data. Like the study of epimorphisms, studying effective descent morphisms is interesting in its own right, providing deeper insights into the category under consideration. Moreover, studying these morphisms is part of the foundations of several applications of descent theory, notably including Janelidze-Galois theory, also known as categorical Galois theory.
Traditionally, the study of effective descent morphisms has focused on investigating and exploiting the reflection properties of certain functors. In contrast, we introduce a novel approach by establishing general results on the preservation of effective descent morphisms. We demonstrate that these preservation results enhance the toolkit for studying such morphisms, by observing that all Grothendieck (op)fibrations satisfying mild conditions fit our framework. To illustrate these findings, we provide several examples of Grothendieck (op)fibrations that preserve effective descent morphisms, including topological functors and other forgetful functors of significant interest in the literature. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_22876 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Functors Preserving Effective Descent Morphisms Nunes, Fernando Lucatelli Prezado, Rui Category Theory 18A05, 18A20, 18A22, 18A25, 18A35, 18A40, 18D30, 18F20, 18N10, 18N15 Effective descent morphisms, originally defined in Grothendieck descent theory, form a class of special morphisms within a category. Essentially, an effective descent morphism enables bundles over its codomain to be fully described as bundles over its domain endowed with additional algebraic structure, called descent data. Like the study of epimorphisms, studying effective descent morphisms is interesting in its own right, providing deeper insights into the category under consideration. Moreover, studying these morphisms is part of the foundations of several applications of descent theory, notably including Janelidze-Galois theory, also known as categorical Galois theory. Traditionally, the study of effective descent morphisms has focused on investigating and exploiting the reflection properties of certain functors. In contrast, we introduce a novel approach by establishing general results on the preservation of effective descent morphisms. We demonstrate that these preservation results enhance the toolkit for studying such morphisms, by observing that all Grothendieck (op)fibrations satisfying mild conditions fit our framework. To illustrate these findings, we provide several examples of Grothendieck (op)fibrations that preserve effective descent morphisms, including topological functors and other forgetful functors of significant interest in the literature. |
| title | Functors Preserving Effective Descent Morphisms |
| topic | Category Theory 18A05, 18A20, 18A22, 18A25, 18A35, 18A40, 18D30, 18F20, 18N10, 18N15 |
| url | https://arxiv.org/abs/2410.22876 |