Using observation B.1.3, for any \(k\geq 0\) and \(n,m \geq -2\), one can deduce that the functor \(\tau_n\colon \mathrm{Cat}_{(\infty, {k})} \rightarrow\mathrm{Cat}_{({n}, {k})}\) preserves \(m\)-faithful functors since its right adjoint preserves \(m\)-surjective functors.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2