Riguet and Generalized Congruences on a Category: Relationships and Applications
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911701721415680 |
|---|---|
| author | Vidal, Juan Climent Llópez, Enric Cosme Mora, Raúl Ruiz |
| author_facet | Vidal, Juan Climent Llópez, Enric Cosme Mora, Raúl Ruiz |
| contents | We investigate Riguet congruences and generalized congruences on a category, focusing on their interrelations from both lattice-theoretic and category-theoretic perspectives. We also characterize functors that are full and surjective on objects in terms of regular epimorphisms, extremal epimorphisms and in terms of strong and regular generalized congruences. On the lattice-theoretic side, we prove that for a category $\mathsf{C}$, the set $\mathrm{RCgr}(\mathsf{C})$ of all Riguet congruences, ordered by inclusion, is a bounded directed-complete ordered set, while the set $\mathrm{GCgr}(\mathsf{C})$ of all generalized congruences is an algebraic lattice. We establish a bridge between these structures via a Scott continuous morphism. From a category-theoretic standpoint, we lift these results to relative adjunctions between the categories $\mathsf{RCgr}(\mathsf{C})$ and $\mathsf{GCgr}(\mathsf{C})$ associated to the above ordered sets, as well as between the categories $\mathsf{RCCat}$, of Riguet classified categories, and $\mathsf{GCCat}$, of generalized classified categories. Furthermore, within Manes' framework of categories of $\mathsf{K}$-objects with structure, we investigate the relationship between the wide subcategory $\mathsf{RCCat}_{\mathrm{full}}$ of $\mathsf{RCCat}$, whose morphisms are the full morphisms of $\mathsf{RCCat}$, and $\mathsf{GCCat}$, relating these constructions to the Grothendieck theory of fibrations. Finally, we present applications of Riguet congruences across various mathematical fields. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_15767 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Riguet and Generalized Congruences on a Category: Relationships and Applications Vidal, Juan Climent Llópez, Enric Cosme Mora, Raúl Ruiz Category Theory 08B20, 18A32, 18B05 (Primary) 18A05, 18A40, 18B99 (Secondary) We investigate Riguet congruences and generalized congruences on a category, focusing on their interrelations from both lattice-theoretic and category-theoretic perspectives. We also characterize functors that are full and surjective on objects in terms of regular epimorphisms, extremal epimorphisms and in terms of strong and regular generalized congruences. On the lattice-theoretic side, we prove that for a category $\mathsf{C}$, the set $\mathrm{RCgr}(\mathsf{C})$ of all Riguet congruences, ordered by inclusion, is a bounded directed-complete ordered set, while the set $\mathrm{GCgr}(\mathsf{C})$ of all generalized congruences is an algebraic lattice. We establish a bridge between these structures via a Scott continuous morphism. From a category-theoretic standpoint, we lift these results to relative adjunctions between the categories $\mathsf{RCgr}(\mathsf{C})$ and $\mathsf{GCgr}(\mathsf{C})$ associated to the above ordered sets, as well as between the categories $\mathsf{RCCat}$, of Riguet classified categories, and $\mathsf{GCCat}$, of generalized classified categories. Furthermore, within Manes' framework of categories of $\mathsf{K}$-objects with structure, we investigate the relationship between the wide subcategory $\mathsf{RCCat}_{\mathrm{full}}$ of $\mathsf{RCCat}$, whose morphisms are the full morphisms of $\mathsf{RCCat}$, and $\mathsf{GCCat}$, relating these constructions to the Grothendieck theory of fibrations. Finally, we present applications of Riguet congruences across various mathematical fields. |
| title | Riguet and Generalized Congruences on a Category: Relationships and Applications |
| topic | Category Theory 08B20, 18A32, 18B05 (Primary) 18A05, 18A40, 18B99 (Secondary) |
| url | https://arxiv.org/abs/2505.15767 |