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

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

「はてなブログでXyJaxが使えなくなった」ので、どうしたものか？ と考えています。他のブログサービスをちょっと調べたのですが、最近はだいたいTeX数式に対応しているようです。が、エンジンがKaTeXが多く、それだとMathJax拡張であるXyJaxが使えません。2…

実験してみましょう。XyJaxによる図式 ↓$`\newcommand{\B}[1]{ {\bf #1} } \xymatrix@C-1pc{ % 1 {\B{L}}\ar[d]\ar[rr] & {} & {\B{FinSet}}\ar[d]\ar[rr] & {} & {\B{Set}}\ar[d] & {} \\ % 2 {\B{MMat}} \ar[dd]\ar[dr]\ar[rr] & {} & {\B{MFXMat}} \ar[dd…

数式の区切り記号に、はてな記法ではなくてドルマークを使う。$$ \xymatrix{ {} & {X}\ar[ld] \ar[rd] & {} \\ {A} & {} & {B} }\\ \text{in }{\bf Set} $$