今回は図式において最も使われる三角形の可換図式と四角形の可換図式のテンプレートをまとめる。さらに最後にモノイダル圏において使われる五角形の可換図式も書く。これらのコードは勝手に使って構わんよーーー。役に立ってくれたら嬉しいです。
前回の記事はこちら
追記 2018/12/01
可換図式のまとめを見やすく書いた。こちら を参照。
2つ以上の射
(18) 2つの射
INPUT
¥begin{equation}
\xymatrix{
A\ar[r]^-{f}&B\ar[r]^-{g}&C
}
¥end{equation}
OUTPUT
(19) 合成射(Compositon) Case I
INPUT
¥begin{equation}
\xymatrix{
A\ar[r]^{f}\ar@/^18pt/[rr]^{h}&B\ar[r]^-{g}&C
}
¥end{equation}
OUTPUT
(20) 合成射 Case II
INPUT
¥begin{equation}
\xymatrix{
A\ar[r]^-{f}\ar@/^18pt/[rr]|h&B\ar[r]^-{g}&C
}
¥end{equation}
OUTPUT
同様にして、射の文字を下につけることも可能である。下の図式を参照。
(21) 合成法則(The Composition Law)
INPUT
¥begin{equation}
\xymatrix{
A\ar[r]^-{f}\ar@/^18pt/[rr]^-{g\circ f}&B\ar[r]^-{g}\ar@/_18pt/[rr]_-{h\circ g}&C\ar[r]^-{h}&D
}
¥end{equation}
OUTPUT
(22) Case I: 0.5ex
INPUT
¥begin{equation}
\xymatrix{
A\ar@<0.5ex>[r]^-{f}\ar@<-0.5ex>[r]_-{g}&B
}
¥end{equation}
OUTPUT
(23) Case II: 0.8 ex
INPUT
¥begin{equation}
\xymatrix{
A\ar@<0.8ex>[r]^-{f}\ar@<-0.8ex>[r]_-{g}&B
}
¥end{equation}
OUTPUT
こちらの方が射の間が開いている。
(24) 同型射(Isomorphisms)
INPUT
¥begin{equation}
\xymatrix{
A\ar@<0.5ex>[r]^-{f}&B\ar@<0.5ex>[l]^-{f^{-1}}
}
¥end{equation}
OUTPUT
可換図式
ここでは可換図式を書く。図式が可換であるときしばしば回転射 や が表示される。もちろん回転射を書かなくてもいいのだが、そちらのほうがそれっぽくかっこよく見える。けれども少し、めんどくさい。
可換な三角形図式
三角形の図式を作るためには3つの対象の配置は次の4パターンがある(だろう。ほかにもあるかな)。
(i)
(ii)
(iii)
(iv)
これらの対象間の可換図式を順番に書く。
(i)
(25) Case I: 1.5 ex
INPUT
¥begin{equation}
\xymatrix{
A\ar[r]^-{f}\ar[d]_-{h}&B\ar[dl]^-{g}\ar@{}@<-1.5ex>[dl]|{\circlearrowright}\\
C
}
¥end{equation}
OUTPUT
(26) Case II: 2.0 ex
INPUT
¥begin{equation}
\xymatrix{
A\ar[r]^-{f}\ar[d]_-{h}&B\ar[dl]^-{g}\ar@{}@<-2.0ex>[dl]|{\circlearrowright}\\
C
}
¥end{equation}
OUTPUT
(27) Case III: 2.5 ex
INPUT
¥begin{equation}
\xymatrix{
A\ar[r]^-{f}\ar[d]_-{h}&B\ar[dl]^-{g}\ar@{}@<-2.5ex>[dl]|{\circlearrowright}\\
C
}
¥end{equation}
OUTPUT
これら3つのケースを比べたら、2.0 exが一番いいのかもしれない。
(28) 別の回転射(Another cicle arrow)
INPUT
¥begin{equation}
\xymatrix{
A\ar[r]^-{f}\ar[d]_-{h}&B\ar[dl]^-{g}\ar@{}@<-1.5ex>[dl]|{\circlearrowleft}\\
C
}
¥end{equation}
OUTPUT
(ii)
(29) Case I
INPUT
¥begin{equation}
\xymatrix{
A\ar[rr]^-{f}\ar[dr]_-{h}&\ar@{}[d]|{\circlearrowright}&B\ar[dl]^-{g}\\
&C&
}
¥end{equation}
OUTPUT
(30) Case II
INPUT
¥begin{equation}
\xymatrix{
A\ar[rr]^-{f}\ar[dr]_-{h}&\ar@{}@<0.8ex>[d]|{\circlearrowright}&B\ar[dl]^-{g}\\
&C&
}
¥end{equation}
OUTPUT
(31) Case III
INPUT
¥begin{equation}
\xymatrix{
A\ar[rr]^-{f}\ar[dr]_-{h}&&B\ar[dl]^-{g}\\
&C\ar@{}[u]|{\circlearrowright}&
}
¥end{equation}
OUTPUT
1番目と3番目は結局、回転射は同じ配置になったと思う。もう少し上にあってくれた方が嬉しいけれども、許容範囲かな。
以下の2通りは前のものとほとんど同じであるから、簡単に紹介するだけである。
(iii)
(32) 3番目の配置
INPUT
¥begin{equation}
\xymatrix{
A\ar[r]^-{f}\ar[rd]_-{h}\ar@{}@<2.0ex>[rd]|{\circlearrowright}&B\ar[d]^-{g}\\
&C
}
¥end{equation}
OUTPUT
(iv)
(33) 4番目の配置
INPUT
¥begin{equation}
\xymatrix{
&B\ar[dr]^-{g}\ar@{}[d]|{\circlearrowright}&\\
A\ar[ru]^-{f}\ar[rr]_-{h}&&C
}
¥end{equation}
OUTPUT
可換な四角形図式
次は可換な四角形の図式(commutative squares)である。
(34) 四角形の可換図式 (i)
INPUT
¥begin{equation}
\xymatrix{
A\ar[r]^-{f}\ar[d]_-{h}\ar@{}[rd]|{\circlearrowright}&B\ar[d]^-{g}\\
C\ar[r]_-{i}&D
}
¥end{equation}
OUTPUT
ここでひとつ注意をしておこう。回転射 を書くとき、\ar@{}[rd]|{\circlearrowright} と書かれており、@{} というのがついている。これは必要なのだろうか。答えは必要であり、もし @{} を書き忘れたら、次のように表示される。
(35)
INPUT
¥begin{equation}
\xymatrix{
A\ar[r]\ar[d]\ar[rd]|{\circlearrowright}&B\ar[d]\\
C\ar[r]&D
}
¥end{equation}
OUTPUT
このように @{} がなければ斜めの射が表示されるのである。
(36) 四角形の可換図式 (ii)
INPUT
¥begin{equation}
\xymatrix{
&A\ar[ld]_-{f}\ar[rd]^-{h}\ar@{}[dd]|{\circlearrowright}&\\
B\ar[dr]_-{g}&&C\ar[dl]^-{i}\\
&D&
}
¥end{equation}
OUTPUT
少し大きいし離れている。
(37) 恒等射の法則(The Identity Laws)
INPUT
¥begin{equation}
\xymatrix{
A\ar[r]^-{f}\ar[d]_-{1_A}\ar[rd]|f\ar@{}@<2.5ex>[rd]|{\circlearrowright}\ar@{}@<-2.5ex>[rd]|{\circlearrowleft}&B\ar[d]^-{1_B}\\
A\ar[r]_-{f}&B
}
¥end{equation}
OUTPUT
可換な五角形図式
最後に五角形の可換図式(Commutative Pentagons)を2つほど書く。
(38) モノイダル圏における五角形公理
INPUT
¥begin{equation}
\xymatrix{
&&(A\otimes B)\otimes (C\otimes D)\ar[rrdd]^-{\alpha_{A, B, C\otimes D}}&&\\\\
( (A\otimes B)\otimes C)\otimes D\ar[rruu]^-{\alpha_{A\otimes B, C, D}}\ar[dd]_-{\alpha_{A, B, C}\otimes 1_{D}}\ar@{}[rrrrd]|{\circlearrowright}&&&&A\otimes ( (B\otimes C)\otimes D)\\
&&&&\\
(A\otimes (B\otimes C) )\otimes D\ar[rrrr]_-{\alpha_{A, B\otimes C, D}}&&&&A\otimes ( (B\otimes C)\otimes D)\ar[uu]_-{1_A\otimes \alpha_{B, C, D}}
}
¥end{equation}
OUTPUT
ここでINPUTをよく見るとカッコ「(」が2回使われているところには少し隙間がある。これはブログに正しく表示されるためにそのように書いているだけであって、LaTeXに書くときは隙間はあってもなくてもいい。
(39) モノイド対象における五角形公理
INPUT
¥begin{equation}
\xymatrix{
&M\otimes(M\otimes M)\ar[rd]^-{1_M\otimes \mu}&\\
(M\otimes M)\otimes M\ar[ru]^-{\alpha_{M, M, M}}\ar[d]_-{\mu\otimes 1_{M}}\ar@{}[rr]|-{\circlearrowright}&&M\otimes M\ar[d]^-{\mu}\\
M\otimes M\ar[rr]_-{\mu}&&M
}
¥end{equation}
OUTPUT
終わりに
以上で可換図式について簡単に書いてきた。 回転射 は書かれているとわかりやすい。ここで書かれている図式はかなり汎用性があると思う。次回は終対象や積のような具体的な圏論の概念の図式を書きたいと思う。次号を待て!