Definition 4.9.14.  Let u ∈ . We define:
Remarks.

This defines the category of small categories, or, more generally, a category in $../../Essentials/Numbers/Natural/sum(m = u, n =$../../Essentials/Numbers/Natural/number(value = 1)) of all categories in u.

References.