対象がただ一つで全ての射が可逆な圏

群の反ループ化