The space \[\mathrm{Im}\left( S_n \rightarrow\mathrm{Hom}_{\mathrm{Cat}[\mathrm{st}^{B\mathbb{Z}}_{k}]_{/\mathcal D}}\left( {\mathbf K}^b_{\mathrm{loc}}(\mathcal C)^{\otimes n}, {\mathbf K}^b_{\mathrm{loc}}(\mathcal C) \right) \right)\] is \(1\)-truncated, i.e. a \(1\)-groupoid.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2