The familial nature of enrichment over virtual double categories
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909678910308352 |
|---|---|
| author | Fujii, Soichiro Lack, Stephen |
| author_facet | Fujii, Soichiro Lack, Stephen |
| contents | Originally enriched categories were defined over a monoidal category, but it was gradually realized that important examples can only be included when one enriches over more general structures such as bicategories and virtual double categories. We show that, as well as allowing more examples, working over virtual double categories also gives better formal properties. We study the 2-functor sending a virtual double category to the 2-category of categories enriched over it. We show that this is a parametric right 2-adjoint, and in fact is familial. We also show how a ``families construction'' for virtual double categories can be used to give a formal construction of the 2-category of categories enriched over a virtual double category. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_05529 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | The familial nature of enrichment over virtual double categories Fujii, Soichiro Lack, Stephen Category Theory 18D20, 18D60, 18N10 (Primary) 18B10, 18D65, 18D70, 18M65 (Secondary) Originally enriched categories were defined over a monoidal category, but it was gradually realized that important examples can only be included when one enriches over more general structures such as bicategories and virtual double categories. We show that, as well as allowing more examples, working over virtual double categories also gives better formal properties. We study the 2-functor sending a virtual double category to the 2-category of categories enriched over it. We show that this is a parametric right 2-adjoint, and in fact is familial. We also show how a ``families construction'' for virtual double categories can be used to give a formal construction of the 2-category of categories enriched over a virtual double category. |
| title | The familial nature of enrichment over virtual double categories |
| topic | Category Theory 18D20, 18D60, 18N10 (Primary) 18B10, 18D65, 18D70, 18M65 (Secondary) |
| url | https://arxiv.org/abs/2507.05529 |