ピントずれてるな
群も1個の対象からなる圏
群は具体例が沢山あるが圏はない?
圏だって腐るほどあるだろ