Free extensivity via distributivity
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866913387311529984 |
|---|---|
| author | Nunes, Fernando Lucatelli Prezado, Rui Vákár, Matthijs |
| author_facet | Nunes, Fernando Lucatelli Prezado, Rui Vákár, Matthijs |
| contents | We consider the canonical pseudodistributive law between various free limit completion pseudomonads and the free coproduct completion pseudomonad. When the class of limits includes pullbacks, we show that this consideration leads to notions of extensive categories. More precisely, we show that extensive categories with pullbacks and infinitary lextensive categories are the pseudoalgebras for the pseudomonads resulting from the pseudodistributive laws. Moreover, we introduce the notion of doubly-infinitary lextensive category, and we establish that the freely generated such categories are cartesian closed. From this result, we further deduce that, in freely generated infinitary lextensive categories, the objects with a finite number of connected components are exponentiable. We conclude our work with remarks on descent theoretical aspects of this work, along with results concerning non-canonical isomorphisms, and relationship with other work. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2405_02185 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Free extensivity via distributivity Nunes, Fernando Lucatelli Prezado, Rui Vákár, Matthijs Category Theory 18N15 18D65 18A35 18B50 18D15 18A30 18N10 68N18 We consider the canonical pseudodistributive law between various free limit completion pseudomonads and the free coproduct completion pseudomonad. When the class of limits includes pullbacks, we show that this consideration leads to notions of extensive categories. More precisely, we show that extensive categories with pullbacks and infinitary lextensive categories are the pseudoalgebras for the pseudomonads resulting from the pseudodistributive laws. Moreover, we introduce the notion of doubly-infinitary lextensive category, and we establish that the freely generated such categories are cartesian closed. From this result, we further deduce that, in freely generated infinitary lextensive categories, the objects with a finite number of connected components are exponentiable. We conclude our work with remarks on descent theoretical aspects of this work, along with results concerning non-canonical isomorphisms, and relationship with other work. |
| title | Free extensivity via distributivity |
| topic | Category Theory 18N15 18D65 18A35 18B50 18D15 18A30 18N10 68N18 |
| url | https://arxiv.org/abs/2405.02185 |