Abstract:We show that 2-categories of the form $\mathscr{B}\mbox{-}\mathbf{Cat}$ are closed under slicing, provided that we allow $\mathscr{B}$ to range over bicategories (rather than, say, monoidal categories). That is, for any $\mathscr{B}$-category $\mathbb{X}$, we define a bicategory $\mathscr{B}/\mathbb{X}$ such that $\mathscr{B}\mbox{-}\mathbf{Cat}/\mathbb{X}\cong (\mathscr{B}/\mathbb{X})\mbox{-}\mathbf{Cat}$. The bicategory $\mathscr{B}/\mathbb{X}$ is characterized as the oplax limit of $\mathbb{X}$, regarded as a lax functor from a chaotic category to $\mathscr{B}$, in the 2-category $\mathbf{BICAT}$ of bicategories, lax functors and icons. We prove this conceptually, through limit-preservation properties of the 2-functor $\mathbf{BICAT}\to 2\mbox{-}\mathbf{CAT}$ which maps each bicategory $\mathscr{B}$ to the 2-category $\mathscr{B}\mbox{-}\mathbf{Cat}$. When $\mathscr{B}$ satisfies a mild local completeness condition, we also show that the isomorphism $\mathscr{B}\mbox{-}\mathbf{Cat}/\mathbb{X}\cong (\mathscr{B}/\mathbb{X})\mbox{-}\mathbf{Cat}$ restricts to a correspondence between fibrations in $\mathscr{B}\mbox{-}\mathbf{Cat}$ over $\mathbb{X}$ on the one hand, and $\mathscr{B}/\mathbb{X}$-categories admitting certain powers on the other.

On lax limits in infinity categories

Lax limits of model categories

Lax Additivity

Straightening for lax transformations and adjunctions of $(\infty,2)$-categories

A calculus on lax functors

Two-dimensional regularity and exactness

Limits and colimits of synthetic $\infty$-categories

Global homotopy theory via partially lax limits

Notes on limits of accessible categories

Notes on Restricted Inverse Limits of Categories

Lax monoidal adjunctions, two-variable fibrations and the calculus of mates

Gray tensor products and lax functors of $(\infty,2)$-categories

Strictification tensor product of 2-categories

Generalization of formal monad theory to lax functors

On cofinal functors of $\infty$-bicategories

The oplax limit of an enriched category

Strict $\infty $-categories. Concrete Duality

Infinity-categorical universal properties of quotients and localizations of A-infinity-categories

All about the Grothendieck construction

Formal category theory in $\infty$-equipments II: Lax functors, monoidality and fibrations

Limits via relations