The relative tensor product \(-\otimes_A - \colon \mathrm{Mod}_A(\mathcal C) \times \mathrm{Mod}_A(\mathcal C) \rightarrow\mathrm{Mod}_A(\mathcal C)\) defines a presentably symmetric monoidal structure on \(\mathrm{Mod}_A(\mathcal C)\). Moreover, there is an equivalence \(\mathrm{CAlg}(\mathrm{Mod}_A(\mathcal C)) \simeq \mathrm{CAlg}(\mathcal C)_{A/}\).
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2