A category $C$ is cofinally small if there is a small category $C_0$ and a cofinal functor $C_0 \to C$.

Last revised on May 3, 2021 at 20:11:10. See the history of this page for a list of all contributions to it.