すべての群gは、単一の対象をもつ圏とみなすことができる。