generated at
2/18/2025, 5:30:14 PM
モノイドの圏
モノイド
全体の圏を
\mathbf{Mon}
と書く
射は
モノイド準同型
モノイドの圏は
具体圏
忘却函手
U\colon \mathbf{Mon}→ \mathbf{Set}
を備える