CatGloss

The cardinality of a small category is the cardinality of the set of its morphisms. A category whose cardinality is less than $\kappa$ is called $\kappa$-small.