Definition 4.9.3.  Let u ∈ ℕ. We define:
Wosetu := [Ord(Hom(A, B))A,B ∈ Ord(idC)C ∈ Ord(∘)D,E,F ∈ Ord]u is a/an u-small category
Remarks.

The objects of this category are actually isomorphism classes of well-ordered sets, i.e. ordinal numbers.