Como estender esta seta e alterar a posição do rótulo

Question

Eu tenho o seguinte diagrama que usou o seguinte código

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

Neste diagrama você pode ver que uma das setas não vai até o canto inferior direito (que é onde eu quero que ela vá). Também podemos ver que o rótulo na parte inferior do diagrama está muito próximo da seta. Eu gostaria de mover um pouco mais para baixo.

Parece que devo ter algo no nó (2,2), caso contrário o Latex nem mesmo compilará o diagrama. Por isso coloquei a seta fantasma. Uma imagem do meu diagrama comutativo está abaixo.

Answer 1

Aplicado column sep = 80e row sep = 30sem \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

Basta usar \arrow[dd](não há necessidade \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]Comando retirado da resposta de Henri Menke e que usei shortenpara alterar o comprimento de uma seta e \hspace*{}alterar a posição horizontal do texto para melhorar a aparência.

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