Exponentiable virtual double categories and presheaves for double categories
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911732549550080 |
|---|---|
| author | Arkor, Nathanael |
| author_facet | Arkor, Nathanael |
| contents | Given a pair of pseudo double categories $\mathbb A$ and $\mathbb B$, the lax functors from $\mathbb A$ to $\mathbb B$, along with their transformations, modules, and multimodulations, assemble into a virtual double category $\mathbf{\mathbb Lax}(\mathbb A, \mathbb B)$. We exhibit a universal property of this construction by observing that it arises naturally from the consideration of exponentiability for virtual double categories. In particular, we show that every pseudo double category is exponentiable as a virtual double category, whereby the virtual double category $\mathbf{\mathbb Lax}(\mathbb A, \mathbb B)$ of lax functors arises as the virtual double category $\mathbf{\mathbb Mod}(\mathbb B^{\mathbb A})$ of monads and modules in the exponential $\mathbb B^{\mathbb A}$. We explore some consequences of this characterisation, demonstrating that it leads to simple proofs of statements that heretofore required unwieldy computations. For instance, we deduce that the 2-category of pseudo double categories and lax functors is enriched in the 2-category of normal virtual double categories, and demonstrate that several aspects of the Yoneda theory of pseudo double categories - such as the correspondence between presheaves and discrete fibrations - are substantially simplified by this perspective. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_11611 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Exponentiable virtual double categories and presheaves for double categories Arkor, Nathanael Category Theory 18D15, 18D20, 18D60, 18M65, 18N10 Given a pair of pseudo double categories $\mathbb A$ and $\mathbb B$, the lax functors from $\mathbb A$ to $\mathbb B$, along with their transformations, modules, and multimodulations, assemble into a virtual double category $\mathbf{\mathbb Lax}(\mathbb A, \mathbb B)$. We exhibit a universal property of this construction by observing that it arises naturally from the consideration of exponentiability for virtual double categories. In particular, we show that every pseudo double category is exponentiable as a virtual double category, whereby the virtual double category $\mathbf{\mathbb Lax}(\mathbb A, \mathbb B)$ of lax functors arises as the virtual double category $\mathbf{\mathbb Mod}(\mathbb B^{\mathbb A})$ of monads and modules in the exponential $\mathbb B^{\mathbb A}$. We explore some consequences of this characterisation, demonstrating that it leads to simple proofs of statements that heretofore required unwieldy computations. For instance, we deduce that the 2-category of pseudo double categories and lax functors is enriched in the 2-category of normal virtual double categories, and demonstrate that several aspects of the Yoneda theory of pseudo double categories - such as the correspondence between presheaves and discrete fibrations - are substantially simplified by this perspective. |
| title | Exponentiable virtual double categories and presheaves for double categories |
| topic | Category Theory 18D15, 18D20, 18D60, 18M65, 18N10 |
| url | https://arxiv.org/abs/2508.11611 |