Projects per year
Abstract
We show that 2-categories of the form B-Cat are closed under slicing, provided that we allow B to range over bicategories (rather than, say, monoidal categories). That is, for any B-category X, we define a bicategory B/X such that B-Cat/X ≅ (B/X)-Cat. The bicategory B/X is characterized as the oplax limit of X, regarded as a lax functor from a chaotic category to B, in the 2-category BICAT of bicategories, lax functors and icons. We prove this conceptually, through limit-preservation properties of the 2-functor BICAT → 2-CAT which maps each bicategory B to the 2-category B-Cat. When B satisfies a mild local completeness condition, we also show that the isomorphism B-Cat/X ≅ (B/X)-Cat restricts to a correspondence between fibrations in B-Cat over X on the one hand, and B/X-categories admitting certain powers on the other.
| Original language | English |
|---|---|
| Pages (from-to) | 390-412 |
| Number of pages | 23 |
| Journal | Theory and Applications of Categories |
| Volume | 40 |
| Issue number | 14 |
| Publication status | Published - 17 May 2024 |
Keywords
- bicategories
- Enriched categories
Fingerprint
Dive into the research topics of 'The oplax limit of an enriched category'. Together they form a unique fingerprint.Projects
- 1 Finished
-
Working synthetically in higher categorical structures
Lack, S. (Primary Chief Investigator), Verity, D. (Chief Investigator), Garner, R. (Chief Investigator) & Street, R. (Chief Investigator)
19/06/19 → 18/06/22
Project: Other
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver