1 problem

Lax- and pseudo-slice characterization. The pair $(L,\lambda)$ is a $2$-limit of the $2$-functor $F$ precisely when it is a $2$-terminal object in the lax-slice (or pseudo-slice)…