次のコードを使用した次の図があります
\begin{tikzcd}
\phi\times\psi\times\theta \arrow[r,"_{X_{p}}{\circ}_{Y_q}\times \Id"]
\arrow[d,"\cong"]
&
(\phi _{X_p}\circ _{Y_q}\psi)\times \theta\arrow[d]
\\
\phi\times \theta \times \psi \arrow[d,"_{X_r}\circ_{Z_t}\times \Id"']
&
\arrow[d,phantom]
\\
(\phi _{X_r}\circ_{Z_t})\times \psi\arrow[r,"(\phi_{X_r}\circ_{Z_t}\theta)_{X_p}\circ_{Y_q}\psi"]
&
(\phi_{X_p}\circ_{Y_q}\psi)_{X_r}\circ_{Z_t}\theta
\end{tikzcd}
この図では、矢印の 1 つが右下隅 (私が望む位置) まで届いていないことがわかります。また、図の下部にあるラベルが矢印に近すぎることもわかります。もう少し下に移動したいと思います。
(2,2) ノードに何かがなければならないようです。そうしないと、Latex は図をコンパイルしません。そのため、ファントム矢印を配置しました。私の可換図の画像を以下に示します。
答え1
適用ありcolumn sep = 80
、row sep = 30
なし\hspace
:
\documentclass[]{standalone}
\usepackage{tikz-cd}
\begin{document}
\begin{tikzcd} [column sep = 80, row sep = 30]
\phi\times\psi\times\theta \arrow[d,"\cong"] \arrow[r,"{X_p}{\circ}_{Y_q}\times Id"] &
(\phi _{X_p}\circ _{Y_q}\psi)\times \theta\arrow[dd] \\
\phi\times\psi\times\psi \arrow[d,"X_r{\circ}_{Z_t}\times Id"'] & \\
(\phi _{X_r}\circ_{Z_t})\times \psi \ar[r,"(\phi_{X_r}\circ_{Z_t}\theta)_{X_p}\circ_{Y_q}\psi"]
& (\phi_{X_p}\circ_{Y_q}\psi)_{X_r}\circ_{Z_t}\theta
\end{tikzcd}
\end{document}
答え2
\arrow[dd]
( は必要ありません)を使用するだけです\arrow[d,phantom]
。
\documentclass{article}
\usepackage{amsmath}
\DeclareMathOperator\Id{Id}
\usepackage{tikz}
\usetikzlibrary{cd}
\begin{document}
\begin{tikzcd}
\phi\times\psi\times\theta \arrow[r,"_{X_{p}}{\circ}_{Y_q}\times \Id"] \arrow[d,"\cong"] & (\phi _{X_p}\circ _{Y_q}\psi)\times \theta\arrow[dd] \\
\phi\times \theta \times \psi \arrow[d,"_{X_r}\circ_{Z_t}\times \Id"'] & \\
(\phi _{X_r}\circ_{Z_t})\times \psi\arrow[r,"(\phi_{X_r}\circ_{Z_t}\theta)_{X_p}\circ_{Y_q}\psi"] & (\phi_{X_p}\circ_{Y_q}\psi)_{X_r}\circ_{Z_t}\theta \\
\end{tikzcd}
\end{document}
答え3
\arrow[dd]
shorten
このコマンドは Henri Menke の回答から引用したもので、矢印の長さを変更したり、\hspace*{}
テキストの水平位置を変更して見た目を良くするために使用しました。
\documentclass[a4paper,10pt]{article}
\usepackage{tikz-cd}
\begin{document}
\begin{tikzcd}
\phi\times\psi\times\theta \arrow[d,"\cong"] \arrow[r,"{X_p}{\circ}_{Y_q}\times Id"] & (\phi _{X_p}\circ _{Y_q}\psi)\times \theta\arrow[dd] \\
\phi\times\psi\times\psi \arrow[d,"X_r{\circ}_{Z_t}\times Id"'] & \\
(\phi _{X_r}\circ_{Z_t})\times \psi \ar[r,shorten >=- 1.7cm,"\hspace*{1.4cm}(\phi_{X_r}\circ_{Z_t}\theta)_{X_p}\circ_{Y_q}\psi"]
& \hspace*{1.7cm}(\phi_{X_p}\circ_{Y_q}\psi)_{X_r}\circ_{Z_t}\theta
\end{tikzcd}
\end{document}