下の段落を参照し,その後の質問に,段落と同じ言語で答えます.  経路:多くのグループが同時に他の数学的構造のグループと例である. カテゴリー理論の言語では,それらはカテゴリー内のグループオブジェクトであり,グループ公理を模倣する変形 (形状と呼ばれる) を伴うオブジェクト (すなわち,別の数学的構造の例) であることを意味します. 例えば,すべてのグループ (上記の定義通り) も集合であるので,グループとは集合のカテゴリーのグループオブジェクトである.  質問 各グループとは?
セット