Biased elementary doctrines and quotient completions
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2023
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866916720583639040 |
|---|---|
| author | Cioffo, Cipriano Junior |
| author_facet | Cioffo, Cipriano Junior |
| contents | In this work, we fill the gap between the elementary quotient completion introduced by Maietti and Rosolini and the exact completion of a category with weak finite limits, as described by Carboni and Vitale. To achieve this, we generalize Lawvere's elementary doctrines to apply to categories with weak finite products, referring to these structures as biased elementary doctrines. We present two main constructions: the first, called strictification, produces an elementary doctrine from a biased one, while the second is an extension of the elementary quotient completion that generalizes the exact completion of a category with weak finite limits, even when weak finite products are involved. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2304_03066 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Biased elementary doctrines and quotient completions Cioffo, Cipriano Junior Category Theory Logic 03G30, 03B15, 18C50, 18E10, 03B20, 03F55 In this work, we fill the gap between the elementary quotient completion introduced by Maietti and Rosolini and the exact completion of a category with weak finite limits, as described by Carboni and Vitale. To achieve this, we generalize Lawvere's elementary doctrines to apply to categories with weak finite products, referring to these structures as biased elementary doctrines. We present two main constructions: the first, called strictification, produces an elementary doctrine from a biased one, while the second is an extension of the elementary quotient completion that generalizes the exact completion of a category with weak finite limits, even when weak finite products are involved. |
| title | Biased elementary doctrines and quotient completions |
| topic | Category Theory Logic 03G30, 03B15, 18C50, 18E10, 03B20, 03F55 |
| url | https://arxiv.org/abs/2304.03066 |