For example, every group (as defined above) is also a set, so a group is a group object in the category of sets.
Ví dụ, mọi nhóm (như định nghĩa ở trên) đều là tập hợp, do vậy một nhóm là vật thể nhóm trong phạm trù các tập hợp.