めもめも

enakai00.hatenablog.com 上記の記事では、ベクトル空間を例にして圏論の随伴関係の例を示しました。 まず、同様の構成を可換モノイドについて行います。 可換モノイドの定義 可換モノイド は、結合則 を満たす可換演算 と単位元 が存在する集合です。自然数 に対して、（ 個の の足し算）と定義します。 自由可換モノイド…