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.

生成讲解博客的中文版本

生成AI智能校验的中文版本