generated at
群
群G = \left\lang\mathrm{ Group }\colon U ;m, i, v \right\rang継承
モノイド\left\lang\mathrm{ Monoid }\colon U; m, i\right\rang 1-morph
逆元v \colon U → U
公理系
m(v(x),x)=m(x,v(x))=i
where
\forall x \colon U
だいたい
v(g)=g^{-1}と書く
乗算を想定して
\left\lang \mathbf{Set}; ×; I \right\rangの
デカルト圏の群対象