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