\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,tikz-cd}
\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{tikz-cdの使い方}\ (2020/07/05) \\
\end{center}
\begin{tikzcd}
A \arrow[rd] \arrow[r, "\phi"] & B \\
& C
\end{tikzcd}
\begin{tikzcd}
A \arrow[r, "\phi"] \arrow[d, red]
& B \arrow[d, "\psi" red] \\ C \arrow[r, red, "\eta" blue]
& D
\end{tikzcd}
\begin{tikzcd}
A \arrow[r, "\phi" near start, "\psi"', "\eta" near end] & B
\end{tikzcd}
\begin{tikzcd}
T
\arrow[drr, bend left, "x"]
\arrow[ddr, bend right, "y"]
\arrow[dr, dotted, "{(x,y)}" description] & & \\
& X \times_Z Y \arrow[r, "p"] \arrow[d, "q"] & X \arrow[d, "f"] \\
& Y \arrow[r, "g"] &Z
\end{tikzcd}
\begin{tikzcd}[column sep=tiny]
& \pi_1(U_1) \ar[dr] \ar[drr, "j_1", bend left=20]
&
&[1.5em] \\
\pi_1(U_1\cap U_2) \ar[ur, "i_1"] \ar[dr, "i_2"']
&
& \pi_1(U_1) \ast_{ \pi_1(U_1\cap U_2)} \pi_1(U_2) \ar[r, dashed, "\simeq"]
& \pi_1(X) \\
& \pi_1(U_2) \ar[ur]\ar[urr, "j_2"', bend right=20]
&
&
\end{tikzcd}
\begin{tikzcd}[row sep=scriptsize, column sep=scriptsize]
& f^* E_V \arrow[dl] \arrow[rr] \arrow[dd] & & E_V \arrow[dl] \arrow[dd] \\
f^* E \arrow[rr, crossing over] \arrow[dd] & & E \\
& U \arrow[dl] \arrow[rr] & & V \arrow[dl] \\
M \arrow[rr] & & N \arrow[from=uu, crossing over]\\
\end{tikzcd}
\begin{tikzcd}
A \arrow[r]
& B \arrow[r]
\arrow[d, phantom, ""{coordinate, name=Z}]
& C \arrow[dll, "\delta",
rounded corners,
to path={ -- ([xshift=2ex]\tikztostart.east)
|- (Z) [near end]\tikztonodes
-| ([xshift=-2ex]\tikztotarget.west) -- (\tikztotarget)}] \\
D \arrow[r]
& E \arrow[r]
& F
\end{tikzcd}
\end{document}
\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}
