Dinaturality for Double Categories
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866912939147001856 |
|---|---|
| author | Morehouse, Edward |
| author_facet | Morehouse, Edward |
| contents | In this paper we extend the concept of dinaturality to the setting of double categories. We introduce the dinatural versions of double-categorical transformations and modifications, and show that ordinary natural transformations and modifications correspond to dinatural ones between dummy functors. Although dinatural transformations don't generally compose with each other, they do compose with natural transformations, and we investigate the algebra of this composition. In our motivating example of dinaturality for double categories, we derive the caps and cups of Eilenberg-Kelly graphs for extranatural transformations as dinatural transformation components, and the corresponding adjunction laws as (di)modification components. In an appendix we extend the surface diagram calculus for the locally cubical Gray category of small double categories to include dinatural constructions. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_02580 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Dinaturality for Double Categories Morehouse, Edward Category Theory 18N10, 18A23, 18M30 In this paper we extend the concept of dinaturality to the setting of double categories. We introduce the dinatural versions of double-categorical transformations and modifications, and show that ordinary natural transformations and modifications correspond to dinatural ones between dummy functors. Although dinatural transformations don't generally compose with each other, they do compose with natural transformations, and we investigate the algebra of this composition. In our motivating example of dinaturality for double categories, we derive the caps and cups of Eilenberg-Kelly graphs for extranatural transformations as dinatural transformation components, and the corresponding adjunction laws as (di)modification components. In an appendix we extend the surface diagram calculus for the locally cubical Gray category of small double categories to include dinatural constructions. |
| title | Dinaturality for Double Categories |
| topic | Category Theory 18N10, 18A23, 18M30 |
| url | https://arxiv.org/abs/2603.02580 |