2018-06-01から1ヶ月間の記事一覧
今回の記事はLaTeXのxymatrixで可換図式を書くことについての一連のシリーズの最終回である。 前回の記事はこちら 第一回目の記事はこちら 今回は圏論に出てくる特別な概念---終対象と始対象、積と双対積、イクワライザーとコイクワライザー、そしてプルバッ…
今回は図式において最も使われる三角形の可換図式と四角形の可換図式のテンプレートをまとめる。さらに最後にモノイダル圏において使われる五角形の可換図式も書く。これらのコードは勝手に使って構わんよーーー。役に立ってくれたら嬉しいです。 前回の記事…
圏論においては図式が多様に使われる。例えば次のようなものである。 その図式をLaTeXで書くときに重宝されるのが、xymatrixというものである。それの使い方、テンプレートを紹介する。勝手にコピペして構わんよ。 追記 2018/12/01 可換図式のまとめを見やす…
圏論においては射が重要であり、特に同型射(isomorphisms)が重要である。それについてまとめたのでここに記す。 同型射 キャノニカル同型 終対象 イクワライザー 最後に 応用例