1 problem

Let $\lModl$ be the 2-category of loosely discrete opfibrations and $\TwModl$ the 2-category of twisted bimodules, with the 2-functor $\twsection{-}: \lModl \to \TwModl$ given by t…