ScalingStacks

A \(\mathbb T_2\otimes \mathbb E_1\)-structure on \(F\) is a prebraiding on \(F\) in the sense of definition 2.4.1. More precisely, the space \(\mathbb T_2(F)\) of \(\mathbb T_2\)-structures on \(F\) is discrete and equivalent to the set \(\mathrm{PreBraid}(F)\) of prebraidings on \(F\) defined in definition 2.4.8.