Sheaves on a bicategory
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_ | 1866909709194231808 |
|---|---|
| author | Caramello, Olivia Pivet, Elio |
| author_facet | Caramello, Olivia Pivet, Elio |
| contents | We give a detailed account of the theory of enrichment over a bicategory and show that it establishes a two-fold generalization of enrichment over both quantaloids and monoidal categories. We define complete B-categories, a generalization of Cauchy-complete enriched categories serving as a basis for the development of sheaf theory in the enriched setting. We prove an adjunction between complete B-categories and 2-presheaves on the category Map(B) of left adjoints in B. We express conditions under which this adjunction becomes a left-exact reflection, yielding back the usual results linking sheaves on sites and enriched categories. We prove that our adjunction recovers the already existing results about quantaloids, and discuss the fixed points of the adjunction in the monoidal case. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_20820 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Sheaves on a bicategory Caramello, Olivia Pivet, Elio Category Theory We give a detailed account of the theory of enrichment over a bicategory and show that it establishes a two-fold generalization of enrichment over both quantaloids and monoidal categories. We define complete B-categories, a generalization of Cauchy-complete enriched categories serving as a basis for the development of sheaf theory in the enriched setting. We prove an adjunction between complete B-categories and 2-presheaves on the category Map(B) of left adjoints in B. We express conditions under which this adjunction becomes a left-exact reflection, yielding back the usual results linking sheaves on sites and enriched categories. We prove that our adjunction recovers the already existing results about quantaloids, and discuss the fixed points of the adjunction in the monoidal case. |
| title | Sheaves on a bicategory |
| topic | Category Theory |
| url | https://arxiv.org/abs/2507.20820 |