モノイドの圏
モノイド
全体の圏を
$ \mathbf{Mon}
と書く
射は
モノイド準同型
モノイドの圏は
具体圏
忘却函手
$ U\colon \mathbf{Mon}→ \mathbf{Set}
を備える