enakai00.hatenablog.com 上記の記事では、可換モノイドを可換群に拡張する随伴関係を大雑把に示しましたが、圏論の随伴関係としての構成をまじめに示した上で、同様の議論が、 環（整域）を体に拡張する場合 加群を線型空間に拡張する場合 にも適用できるこ…