Comparing loose bimodules and double barrels using pseudo-models of enhanced sketches
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866912673668530176 |
|---|---|
| author | Brown, Jason Carlson, Kevin Libkind, Sophie Myers, David Jaz |
| author_facet | Brown, Jason Carlson, Kevin Libkind, Sophie Myers, David Jaz |
| contents | (Pseudo) double categories have two sorts of morphisms: tight ones which compose strictly, and loose ones which compose up to coherent isomorphism. In this paper, we consider bimodules between double categories in the loose direction. We provide two formulation of this concept -- first as pseudo-bimodules between pseudo-categories in the 2-category of categories, and second as double barrels generalizing Joyal's definition of bimodules between categories as functors into the walking arrow -- and prove these two formulations equivalent. In order to prove this equivalence, we define a notion of \emph{pseudo-model} of an enhanced sketch, which may be of independent interest. We then consider some double category theory unlocked by the theory of loose bimodules: loose adjunctions, and loose limits. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_23789 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Comparing loose bimodules and double barrels using pseudo-models of enhanced sketches Brown, Jason Carlson, Kevin Libkind, Sophie Myers, David Jaz Category Theory 18N10 (Pseudo) double categories have two sorts of morphisms: tight ones which compose strictly, and loose ones which compose up to coherent isomorphism. In this paper, we consider bimodules between double categories in the loose direction. We provide two formulation of this concept -- first as pseudo-bimodules between pseudo-categories in the 2-category of categories, and second as double barrels generalizing Joyal's definition of bimodules between categories as functors into the walking arrow -- and prove these two formulations equivalent. In order to prove this equivalence, we define a notion of \emph{pseudo-model} of an enhanced sketch, which may be of independent interest. We then consider some double category theory unlocked by the theory of loose bimodules: loose adjunctions, and loose limits. |
| title | Comparing loose bimodules and double barrels using pseudo-models of enhanced sketches |
| topic | Category Theory 18N10 |
| url | https://arxiv.org/abs/2510.23789 |