ScalingStacks

0N3K

Remark 2.20. PropositionΒ 2.19 implies that, for each symmetric monoidal ∞\infty-category 𝒱\mathcal{V}, the restriction functor π– π—…π—€π’Ÿβ€‹π—‚π—Œπ—„π—‡π–‘β‘(𝒱)β†’π– π—…π—€π–£π—‚π—Œπ—„nB⁑(𝒱)\Alg_{\disk_{n}^{B}}(\mathcal{V})\to\Alg_{\ddisk_{n}^{B}}(\mathcal{V}) is fully faithful and the essential image consists of the locally constant π–£π—‚π—Œπ—„nB\ddisk_{n}^{B}-algebras. This result also appears inΒ [Lu2] as TheoremΒ 5.4.5.9.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

David Ayala, John Francis

Original source: arXiv:1206.5522v6