雑記/備忘

グラフ達のモノイド圏内のモノイド対象は圏 (オリジナル版)

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

グラフ達のモノイド圏内のモノイド対象は圏 (MathJax版)

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