モノイドの反ループ化
summary.icon
対象がただひとつの圏
definition.icon
モノイド$ M=\left\lang \mathrm{Monoid}\colon |M|; m, i \right\rang の反ループ化$ \mathbf{B}M
$ \operatorname{Obj}(\mathbf{B}M)=\{*\}
$ \operatorname{Arr}(\mathbf{B}M) = |M|
モノイドの積$ m が射の合成$ ; に対応する
dragoon8192.icon図式順にしておくか……
単位元$ i は恒等射$ \mathrm{id}_* に対応する