群の反ループ化

summary.icon

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

definition.icon

WIP.icon