For \(\mathbb{K}\in \mathrm{CAlg}(\mathrm{Sp})\), the equivalence \((-)^{\mathrm{c}} \colon \mathrm{Pr}^{\mathrm{L}, \mathrm{c}}_{\mathrm{st}}\simeq \mathrm{st}_{\mathbb{K}} \colon \operatorname{Ind}\) induces a symmetric monoidal equivalence: 
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2