Finite ∞-categories and finite simplicial sets

Remark 4.2.21. It is proved by [Volpe (2025), Proposition 2.4] that this model-independent definition of finite \(\infty \)-categories is compatible with the definition used in quasicategory theory: an \(\infty \)-category is finite if and only if it is the image of a finite simplicial set under the associated \(\infty \)-category functor \(\ac \colon \sSet \to \Cat _{\infty }\) from Construction 1.8.11.