nLab
cofinally small category

Definition

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

Created on April 15, 2009 07:55:37 by Urs Schreiber (212.23.128.235)