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

The objects of this category are actually isomorphism classes of magmas.

References.