Double categories of profunctors
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866908937691856896 |
|---|---|
| author | Kawase, Yuto |
| author_facet | Kawase, Yuto |
| contents | We characterize virtual double categories of enriched categories, functors, and profunctors by introducing a new notion of double-categorical colimits. Our characterization is strict in the sense that it is up to equivalence between virtual double categories and, at the level of objects, up to isomorphism of enriched categories. Throughout the paper, we treat enrichment in a unital virtual double category rather than in a bicategory or a monoidal category, and, for consistency and better visualization of pasting diagrams, we adopt augmented virtual double categories as a fundamental language for double-categorical concepts. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_11099 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Double categories of profunctors Kawase, Yuto Category Theory 18A30, 18N10 We characterize virtual double categories of enriched categories, functors, and profunctors by introducing a new notion of double-categorical colimits. Our characterization is strict in the sense that it is up to equivalence between virtual double categories and, at the level of objects, up to isomorphism of enriched categories. Throughout the paper, we treat enrichment in a unital virtual double category rather than in a bicategory or a monoidal category, and, for consistency and better visualization of pasting diagrams, we adopt augmented virtual double categories as a fundamental language for double-categorical concepts. |
| title | Double categories of profunctors |
| topic | Category Theory 18A30, 18N10 |
| url | https://arxiv.org/abs/2504.11099 |