我如何对齐垂直箭头？

Question

为了美观起见，我试图使下图紧凑且对齐。

\documentclass[11pt]{article}
\usepackage{tikz}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{tikz-cd}

\begin{document}
    \[
    \begin{tikzcd}[every arrow/.append style={shift left}]
        &\mathcal{F} U_i \arrow[rr,shift right=.25ex, "\mathcal{F}(U_i\cap U_j\subset U_i)"]&& \mathcal{F}(U_i\cap U_j)\\
        \mathcal{F} U \arrow[ur,shift right=.25ex] \arrow[dr,shift right=.25ex]\arrow[r, shift right=.25ex, dashrightarrow, "e"] &\displaystyle\prod_i\mathcal{F} U_i \arrow[rr,shift left=.125ex,"p"] \arrow[u] 
        \arrow[rr,shift right=.675ex,swap,"q"]\arrow[d] &&\displaystyle\prod_{i,j} \mathcal{F}(U_i\cap U_j) \arrow[d]\arrow[u]\\
        &\mathcal{F} U_j \arrow[rr,shift right=.25ex, "\mathcal{F}(U_i\cap U_j\subset U_j)"]&& \mathcal{F}(U_i\cap U_j)
    \end{tikzcd}
    \]
    
\end{document}

如您所见，垂直箭头未对齐。是否可以对齐它们？另外，我想减少图表的垂直长度并使其稍微紧凑一些，我该怎么做？

提前感谢您的帮助！

Answer 1

我不明白所有不同的箭头移动，所以我将其移除并使其变row sep小：

\documentclass[tikz, border=1cm]{standalone}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{tikz-cd}
\begin{document}
\begin{tikzcd}[row sep=0.4cm]
&\mathcal{F} U_i \arrow[rr, "\mathcal{F}(U_i\cap U_j\subset U_i)"]&& \mathcal{F}(U_i\cap U_j)\\
\mathcal{F} U \arrow[ur] \arrow[dr]\arrow[r, dashrightarrow, "e"] &\displaystyle\prod_i\mathcal{F} U_i \arrow[rr,"p"] \arrow[u] 
\arrow[rr,shift right=.675ex,swap,"q"]\arrow[d] &&\displaystyle\prod_{i,j} \mathcal{F}(U_i\cap U_j) \arrow[d]\arrow[u]\\
&\mathcal{F} U_j \arrow[rr, "\mathcal{F}(U_i\cap U_j\subset U_j)"]&& \mathcal{F}(U_i\cap U_j)
\end{tikzcd}
\end{document}

Answer 2

遵循指南http://www.map.mpim-bonn.mpg.de/images/4/41/Xyguide.pdf的xy包装，可以实现与此包装相同的图片和相同的提示tikz-cd。显然，这是一个非常特殊的包装，有时也很难理解，特别是对于我来说，我不太擅长英语。

\documentclass[a4paper,12pt]{article}
\usepackage[all,cmtip]{xy}
\begin{document}
\xymatrix@R=2pc@C=4pc{
 & \mathcal{F} U_i  \ar[r]^{\mkern-30mu\mathcal{F}(U_i\cap U_j\subset U_i)}& \mathcal{F}(U_i\cap U_j)\\
\mathcal{F}U\ar[ru] \ar[dr] \ar@{-->}[r]^e & \displaystyle\prod_i\mathcal{F} U_i \ar[u]\ar[d] \ar@<-.5ex>[r]_{q}
\ar@<.5ex>[r]^{p} &\ar[d]\ar[u] \displaystyle\prod_i\mathcal{F} U_i \\
 & \mathcal{F} U_j \ar[r]^{\mkern-30mu\mathcal{F}(U_i\cap U_j\subset U_j)}& \mathcal{F}(U_i\cap U_j)
}
\end{document}