本編代替
十数年前に書いた次の記事があります。 圏、関手、モナドはどうしたら分かるの? (2007年3月) 上記過去記事のなかに「いろいろな圏におけるモノイド概念」の表があります。 環境となる圏 その圏の積 その圏の単位 モノイド概念 集合圏 直積 単元集合 普通…
十数年前に書いた次の記事があります。 圏、関手、モナドはどうしたら分かるの? (2007年3月) 上記過去記事のなかに「いろいろな圏におけるモノイド概念」の表があります。 環境となる圏 その圏の積 その圏の単位 モノイド概念 集合圏 直積 単元集合 普通…