nLab cofinally small category

Definition

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.

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