対象→例えば数字だったり、式だったり、式＋式だったり
群　 →対象の集まり
圏　 →対象と射の集まり

これで認識あってる？