Slate - groups

Definition 4.9.8. Let u ∈ ℕ. We define:

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

Remarks.

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

References.