ScalingStacks

Example 8.1.6.

It immediately follows from the defining property of \(\mathcal V_{/C}\), that for a given \(\mathbb E_1\)-algebra in \(\mathcal V_{/C}\), i.e. an \(\mathbb E_1\)-algebra \(A\) equipped with an \(\mathbb E_1\)-algebra map \(A\rightarrow C\), the space \(\mathrm{Braid}_{\mathcal V_{/C}}(A)\) encodes a compatible \(\mathbb E_2\)-structure on \(A\) together with \(\mathbb E_2\)-structure on the \(\mathbb E_1\)-morphism \(A\rightarrow C\).