In [Hau15, Thm. 1.2], Haugseng showed that the \(\infty\)-category \(\mathrm{Cat}_{(\infty, {k})}\) from definition 5.1.1 satisifes the axioms of Barwick and Schommer-Pries [BS21] and hence is equivalent to most other known models of the \(\infty\)-category of \((\infty,k)\)-categories.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2