圏 モノイドのついた記事
yuinore
@yuinore
15 0 2年弱前
モノイド ({0,±1},⋅) から圏を作ってみた