Similarly, any \(\mathbb E_0\)-morphism \(g \colon B \rightarrow C\) in \(\mathrm{Alg}_{\mathbb E_0}(\mathcal O)\) induces evident maps of spaces \[ \mathbb T_2(f) \xrightarrow{g \circ -} \mathbb T_2(g \circ f) \hspace{1cm} \mathbb T_2(g) \xrightarrow{- \circ (f,f)} \mathbb T_2(g \circ f) .\]
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2