带有非常圆的箭头的交换图？

Question

我有一个图，其中只有 (1,1)、(1,2) 和 (2,1) 中的对象。我想要一个从 (2,1) 到 (1.2) 并绕过 (1.1) 的箭头。我确实成功地弯曲了箭头，但没有使其足够圆，以避免与图中的其他对象交叉。这是我所拥有的：

\documentclass{article}
\usepackage[all]{xy}
\usepackage{amscd,amssymb}

\begin{document}

\xymatrix{
p^{-1}(V)\ar[d]_p
&V\times Y\ar[l]_\varphi\ar[dl]^{\mathrm{pr}_1}\\
V\ar@/_/[u]_\sigma\ar@/^5pc/[ur]^\psi
}

\end{document}

谢谢！

Answer 1

以下是使用tikz-cd

\documentclass[border = 5pt]{standalone}

\usepackage{tikz-cd}

\begin{document}

\begin{tikzcd}
  p^{-1}(V) 
  \arrow[d, "p"']
  & V\times Y 
  \arrow[l, "\varphi"']
  \arrow[dl, "\mathrm{pr}_1"]
  \\
  V
  \arrow[u, bend right, "\sigma"']
  \arrow[ur, rounded corners, "\psi", to path = { -- ([xshift = -4ex]\tikztostart.west) |- ([yshift = 3ex]\tikztotarget.north) [near end]\tikztonodes -- (\tikztotarget)}]
\end{tikzcd}

\end{document}