定理 を示す ① 射の定義 評価写像を使った以下の図式が可換である。 また、以下の図式も可換である。 次に、2つの評価写像 と、以下の2つの可換図式を使って 2つの射 を定義する。 ここで、以下を可換にする唯一の射をと定義する。 すなわち、 が成り立つ。 …

以下の記事を参考にさせていただきました。ありがとうございます。 Ubuntu上でtexをコンパイルしてpdfとして保存する - Qiita TeX入門 http://www.math.u-ryukyu.ac.jp/~tsukuda/computer/tex/files/xypic-example.pdf texliveをインストールしました。 圏論…

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

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