Proposition 8.1.20. Together with (resp. ), the functor induces equivalences of bimodule -representations between and (resp. and ).
Original source: arXiv:2009.09627v2
Proposition 8.1.20. Together with (resp. ), the functor induces equivalences of bimodule -representations between and (resp. and ).
Original source: arXiv:2009.09627v2