圈論初級の monoid っぽいの達を纏めた - c4se記：さっちゃんですよ☆ https://c4se.hatenablog.com/entry/2021/02/16/093215 圈としての monoid (monoid as a category) monoid を圈 (category) と見做せる。逆に圈を monoid の一般化と見做せる monoid の圈 全ての monoid を