>>874
>そして対象の同型射というのがいわば置換なのである
その圏のオブジェクトが集合で射が自分自身への可逆写像（全単射）ならまさに置換だけど
群Gを圏として見る場合はオブジェクトは1点集合ob={p}で射の集合をmor({p},{p})=Gとするよ