Как удлинить эту стрелку и изменить положение метки

Question

У меня есть следующая диаграмма, которая использует следующий код

\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}

На этой диаграмме вы можете видеть, что одна из стрелок не доходит до нижнего правого угла (где я хочу, чтобы она была). Также можно увидеть, что метка внизу диаграммы находится слишком близко к стрелке. Я бы хотел переместить ее немного ниже.

Кажется, у меня должно быть что-то в узле (2,2), иначе Latex даже не скомпилирует диаграмму. Поэтому я поставил фантомную стрелку. Ниже приведена картинка моей коммутативной диаграммы.

Answer 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}

Answer 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}

Answer 3

\arrow[dd]команда взята из ответа Анри Менке, и я использовал ее shortenдля изменения длины стрелки и \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}