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