ScalingStacks

Proof.

By adjunction and monoidality of \(L\), the horizontal maps in the commuting diagram are isomorphisms and hence so is the induced map between the fibers at \(\{(f,f)\} \rightarrow\mathrm{Hom}_{\mathcal D}(LA, B)^{\times 2}\). ◻