ScalingStacks

Definition 5.5.1. A bimodule $2$-representation is the data of a $2$-functor $\Upsilon:{\mathcal{U}}\to\mathrm{Bimod}$.

It is right finite if $\Upsilon(e)$ is right finite.