The oplax limit of an enriched category
Abstract
We show that 2-categories of the form are closed under slicing, provided that we allow to range over bicategories (rather than, say, monoidal categories). That is, for any -category , we define a bicategory such that . The bicategory is characterized as the oplax limit of , regarded as a lax functor from a chaotic category to , in the 2-category of bicategories, lax functors and icons. We prove this conceptually, through limit-preservation properties of the 2-functor which maps each bicategory to the 2-category . When satisfies a mild local completeness condition, we also show that the isomorphism restricts to a correspondence between fibrations in over on the one hand, and -categories admitting certain powers on the other.
Cite
@article{arxiv.2211.12122,
title = {The oplax limit of an enriched category},
author = {Soichiro Fujii and Stephen Lack},
journal= {arXiv preprint arXiv:2211.12122},
year = {2024}
}
Comments
22 pages, final journal version