For \(\mathbb{K}\in \mathrm{CAlg}(\mathrm{Sp}_{\geq 0})\), the equivalence \((-)^{\mathrm{cp}}\colon \mathrm{Pr}^{\mathrm{L}, \mathrm{cp}}_{\mathrm{add}}\simeq \mathrm{add}_{\mathbb{K}} \colon \mathcal P^{\Sigma}\) induces a symmetric monoidal equivalence: 
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2