タグ local_offer圏論 が付いた記事

• article 数の型を作る(Grothendieck群編)
  最終更新日:2025-10-31

可換モノイドから得られる普遍的な可換群について纏めます。