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., Verity, D., Garner, R. & Street, R.
19/06/19 → 18/06/22
Project: Other