# Definition

A category $C$ is cofinally small if there is a small category ${C}_{0}$ and a cofinal functor ${C}_{0}\to C$.