The \(\infty\)-category \(\mathrm{RMod}_A(\mathbb V)\) carries a left action by \(\mathbb V\), and can be viewed as an object in \(\mathrm{Mod}_{\mathbb V}(\mathrm{Pr}^\mathrm{L})\). This defines a symmetric monoidal functor \[\mathrm{RMod}_{-}(\mathbb V) \colon \mathrm{Alg}(\mathbb V) \rightarrow\mathrm{Mod}_\mathbb V(\mathrm{Pr}^\mathrm{L}).\]
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2