Slate - pointed sets

Definition 4.9.4. Let u ∈ ℕ. We define:

PtSet_u := [PtSet(Hom(A, B))_{A,B ∈ PtSet}(id_C)_{C ∈ PtSet}(∘)_{D,E,F ∈ PtSet}]_u is a/an u-small category

Remarks.

The objects of this category are actually isomorphism classes of pointed sets.

References.