Xy-pic

現代思想の７月号の「圈論の世界」を買おうと思った。先週の土曜日に３ヶ月ぶりに，大阪上本町（県外）に出る用事があって，近鉄百貨店上本町店11階のジュンク堂をのぞいたところ，バックナンバーはあるけれど残念ながら当該号はなかった。発売日直後だったのが敗因か。

いろいろ評判はあるのだけれど，丸山善宏さんの記事も読みたいかなと思っていた。アマゾンでさくっと注文すればよいのだが，ぐずぐずしているうちに，谷村省吾さんの「物理学者のための圈論入門」とか森田真生さんの「哲学者のための圈論入門」がファイル置き場から出てきた。とりあえずこれを予習してからと考えて読み始めたところ，谷村さんのおすすめの，TeXで圈論のダイヤグラムがかける Xy-pic にたどりついた。

早速，みつかったサンプル（XY-pic(主に xymatrix)の使い方）を代入してみたら，さくっと動きました。

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 

\documentclass[uplatex,a4j,10pt]{jsarticle}

\usepackage{fancybox,boxedminipage,ascmac}

\usepackage{amsmath,amsthm,amssymb,bm}

\usepackage{amsfonts,amscd,mathrsfs}

\usepackage{cases,physics}

\usepackage[dvipdfmx]{graphicx}

\usepackage[all]{xy}

\usepackage{tikz}

\usetikzlibrary{shadows}

\usepackage{multicol}

\usepackage[version=3]{mhchem}

\usepackage{tcolorbox}

\tcbuselibrary{raster,skins}

\renewcommand{\labelenumi}{[\ \arabic{enumi}\ ]\ \ }

\setlength{\textwidth}{15cm}

\setlength{\oddsidemargin}{-1.0cm}

\setlength{\evensidemargin}{-1.0cm}

\setlength{\topmargin}{-2cm}

\setlength{\textheight}{24cm}

 

\begin{document}

\begin{center}

\textbf{xy-picの使い方}\ (2020/07/05) \\

\end{center}

\[

 \xymatrix{

  A \ar[r]^f & BCD \quad \quad

  A \ar[r]^-f & BCD \quad \quad

  A \ar[r]^(0.6)f_(0.65)g & BCD

} \]

\[

 \xymatrix{

  A \ar[r]^f & B \ar[d]^f

             & A \ar[r]_{g_1} & B \ar[d]_{g_1} & A \ar[r]|h & B \ar[d]|h \\

  D \ar[u]^f & C \ar[l]^f

             & D \ar[u]_{g_1} & C \ar[l]_{g_1} & D \ar[u]|h & C \ar[l]|h

} \]

\[

 \xymatrix{

  A \ar[r] \ar[d] \ar[rrd]

  & B \ar[rrd]|f \ar[d]|\hole \ar[rdd]|(.33)\hole & & \\

  C \ar[r] \ar[rrd] & D \ar[rrd]|(.33)\hole|\hole

  & A’ \ar[r] \ar[d] & B’ \ar[d] \\

  & & C’ \ar[r] & D’

} \]

\[

 \xymatrix{

  A \ar[r]^-f

  & B \ar@<-0.5ex>[r]_-f

  & C \ar@<1ex>[r]^-f

  & D \ar@<0.5ex>[d]^-f \\

  E \ar@<-0.3ex>@{^{(}->}[r]^-f

  & F \ar@{_{(}->}@<0.3ex>[r]^-f

  & G \ar@<0.5ex>[r]^-f \ar@<-0.5ex>[r]_-g & H \ar@<0.5ex>[u]^-g

} \]

\[

 \xymatrix{

  A \ar@/^18pt/[r]^f \ar@/_/[r]_g

  \ar@/_3pt/[d] \ar@/_12pt/[d] \ar@/_24pt/[d] \ar@/_48pt/[d] 

  & B \ar@/^/[d] \ar@/^54pt/[rd] & C \ar[l] \ar[d] \\

  D \ar@/_10pt/@{.>}[rr]_{\exists h} & E \ar[r] \ar[l] & F

} \]

\[

 \xymatrix@ur{

  A \ar[r]^f \ar[d] & B \ar[d] \\

  C \ar[r] & D & }

\]

\begin{equation}

\vcenter{

  \xymatrix{

   A \ar[r] \ar[d] & B \ar[d] \\

   C \ar[r] & D \ar@{}[lu]|{\circlearrowright}

} }

\hspace{2cm} \vspace{-1cm}

\fbox{

  \xymatrix@=5pt{

   \bullet \ar@{-} `d[dr] '[rrrd] `[rrrr] [rrrr] & &

   \bullet \ar@{-} '[d] [dd] \ar@{-}[rrdd] & & \bullet \\

   & & & & \\

   \bullet \ar@{-} `r[ruu] '[ru] `[rruu] [rruu]

   &  & \bullet &  & \bullet

   }

}

\end{equation}

\end{document}

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 

図　Xy-picのサンプル