モノイド
definition.icon モノイド$ M=\left\lang \mathrm{Monoid}\colon U; m, i \right\rang
0-morph
$ U =|M| \colon \mathbf{Set}
1-morph
二項演算
$ m \colon U×U \to U
単位元
$ i\colon U
公理系
$ m(i,x) = x
$ m(x,i) = x
$ m(m(x,y),z) = m(x,m(y,z))
なので$ m はよく省略される
where
$ x, y \colon U
equal.icon $ \left\lang \mathbf{Set}; ×; I \right\rang のモノイド対象