We used Rouquier canonicity to ensure here the independence (up to canonical isomorphism) of our choices in the construction of the prebraiding on \(h_1 K_{\mathrm{loc}}\) in Theorem 2.5.2. For the rest of the paper it would be enough to make one of the choices and establish the prepraiding using only the monoidality of \(h_1 K_{\mathrm{loc}}\). The desired independence of choices (and in fact also Rouqiuer canonicity itself) could then be deduced from the existence statement in corollary 8.2.2.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2