Combining corollary 8.1.7 with example 8.1.5 we find that in the setup of example 8.1.5, the space \(\mathrm{PreBraid}_{(\mathrm{Cat}_{(1,1)})_{/C}}(F)\) agrees with the set \(\mathrm{PreBraid}_{/C}(F)\) of prebraidings over \(C\) from definition 2.4.8.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2