Proof.
The isomorphisms hold by associativity of \(\circ_1\). The homotopy equivalences come from applying braid relations, see Theorem 2.2.4. ◻
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2
Proof.
The isomorphisms hold by associativity of \(\circ_1\). The homotopy equivalences come from applying braid relations, see Theorem 2.2.4. ◻
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2