| Title: |
Free extensivity via distributivity |
| Authors: |
Nunes, Fernando Lucatelli; Prezado, Rui; Vákár, Matthijs; Sub Software Technology |
| Publication Year: |
2025 |
| Subject Terms: |
(co)lax idempotent pseudomonad; bicategorical biproducts; cartesian closed category; extensive category; free coproduct completion; pseudodistributive law; General Mathematics |
| Description: |
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 two of these pseudodistributive laws. Moreover, we introduce the notion of doubly-infinitary lextensive category, and we establish that the freely generated ones 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 examples, descent theoretical aspects of this work, results concerning non-canonical isomorphisms, and relationship with other work. |
| Document Type: |
article in journal/newspaper |
| File Description: |
application/pdf |
| Language: |
English |
| ISSN: |
0032-5155 |
| Relation: |
https://dspace.library.uu.nl/handle/1874/476443 |
| Availability: |
https://dspace.library.uu.nl/handle/1874/476443 |
| Rights: |
info:eu-repo/semantics/OpenAccess |
| Accession Number: |
edsbas.546ED3CC |
| Database: |
BASE |