Definition 4.9.3.  Let u ∈ . We define:
Wosetu:=
Remarks.

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