Let \(\mathcal A\) be a monoidal \(1\)-category. A prebraiding \(\beta\) on the identity functor \(\mathrm{Id}\colon \mathcal A\rightarrow\mathcal A\) is a braided monoidal structure on \(\mathcal A\) in the sense of [Eti+15, Def. 8.1.1.].
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2