対象が一つしかない圏