可換モノイド論/sharpモノイド

\(\newcommand{\ker}{\mathrm{ker}} \newcommand{\im}{\mathrm{im}} \newcommand{\nat}{\mathbb{N}} \newcommand{\gp}{^\mathrm{gp}}\)

information

情報源

• Grillet01;Ogus18 

関連項目

• 可換モノイド論