nLab
cofinally small category

Definition

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

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