Double Orthogonal Factorization Systems
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866911185917444096 |
|---|---|
| author | Aberlé, C. B. Caviglia, Elena Kukla, Matthew Maldonado, Rubén Mesiti, Luca Pronk, Dorette Ralaivaosaona, Tanjona |
| author_facet | Aberlé, C. B. Caviglia, Elena Kukla, Matthew Maldonado, Rubén Mesiti, Luca Pronk, Dorette Ralaivaosaona, Tanjona |
| contents | We define strict and lax orthogonal factorization systems on double categories. These consist of an orthogonal factorization system on arrows and one on double cells that are compatible with each other. Our definitions are motivated by several explicit examples, including factorization systems on double categories of spans, relations and bimodules. We then prove monadicity results for orthogonal factorization systems on double categories in order to justify our definitions. For fibrant double categories we discuss the structure of the double orthogonal factorization systems that have a given orthogonal factorization system on the arrows in common. Finally, we study the interaction of orthogonal factorization systems on double categories with double fibrations. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_26343 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Double Orthogonal Factorization Systems Aberlé, C. B. Caviglia, Elena Kukla, Matthew Maldonado, Rubén Mesiti, Luca Pronk, Dorette Ralaivaosaona, Tanjona Category Theory 18N10 (Primary), 18A32, 18B10, 18C15 (Secondary) We define strict and lax orthogonal factorization systems on double categories. These consist of an orthogonal factorization system on arrows and one on double cells that are compatible with each other. Our definitions are motivated by several explicit examples, including factorization systems on double categories of spans, relations and bimodules. We then prove monadicity results for orthogonal factorization systems on double categories in order to justify our definitions. For fibrant double categories we discuss the structure of the double orthogonal factorization systems that have a given orthogonal factorization system on the arrows in common. Finally, we study the interaction of orthogonal factorization systems on double categories with double fibrations. |
| title | Double Orthogonal Factorization Systems |
| topic | Category Theory 18N10 (Primary), 18A32, 18B10, 18C15 (Secondary) |
| url | https://arxiv.org/abs/2509.26343 |