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