対角線定理(Diagonal Theorem) 積を持つ圏で考える。 対象が以下の命題1を満たすならば、任意のendomap は少なくとも１つの不動点を持つ。 すなわち、を満たす点が存在する。 命題1 射が任意の射をパラメタライズできるような対象を持つ。 すなわち、と表せ…

デフォルトでMathJaxに対応していたようだ。ヘッダに何も指定していない。 文中の式。 ラグランジュ方程式はです。 可換図式も書けた。\\を\\\に変えたら改行されるようになった。