We show that the functor \[ \textrm{Ar}^{(n-1)}(\mathrm{Cat}_{(\infty, {k})}) \rightarrow\mathrm{Cat}_{(\infty, {k})} \times_{\mathrm{Cat}_{({n}, {k})}} \textrm{Ar}^{(n-1)}(\mathrm{Cat}_{({n}, {k})})\] is surjective and fully faithful.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2