此代码
\xymatrix{z & y\ltwocell_{f}^{g}{^{\alpha}} & x\ltwocell_{f'}^{g'}{^{\beta}}}
=\xymatrix{z & & y\lltwocell_{f\cdot f'}^{g\cdot g'}{^{\alpha\circ\beta}}}
制作了这个图表
我想要的是将 alpha comp beta 标签向右滑动,原因很明显,我确信有很多方法可以做到这一点,而且它们都在手册中,但我没有找到正确的方法。
答案1
% arara: pdflatex
\documentclass{article}
\usepackage[all,cmtip,2cell]{xy}
\usepackage{mathtools}
\usepackage{tikz-cd}
\begin{document}
\UseTwocells
\[
\xymatrix{z & y\ltwocell_{f}^{g}{^\alpha} & x\ltwocell_{f'}^{g'}{^\beta}}
= \xymatrix{z & & y\lltwocell_{f\cdot f'}^{g\cdot g'}{^\mathrlap{\alpha\circ\beta}}}
\]
\[
\begin{tikzcd}
z & y \ar[bend right=45, ""{name=1, below}]{l}[swap]{f} \ar[bend left=45, ""{name=2, above}]{l}{g} & x \ar[bend right=45, ""{name=3, below}]{l}[swap]{f'} \ar[bend left=45, ""{name=4, above}]{l}{g'}
\ar[Rightarrow, from=1, to=2, "\alpha"]
\ar[Rightarrow, from=3, to=4, "\beta"]
\end{tikzcd}
=
\begin{tikzcd}
z && y \ar[bend right, ""{name=5, below}]{ll}[swap]{f\cdot f'} \ar[bend left, ""{name=6, above}]{ll}{g\cdot g'}
\ar[Rightarrow, from=5, to=6, "\alpha\circ\beta"]
\end{tikzcd}
\]
\end{document}
答案2
我不明白为什么它不起作用,但这段代码似乎运行得很好:
\documentclass{article}
\pdfoutput1
\input diagxy
\begin{document}
$$\bfig
\morphism|a|/{@{<-}@/^10pt/}/[z`y;f]
\morphism|b|/{@{<-}@/_10pt/}/[z`y;g]
\morphism(250,120)|r|/=>/<0,-200>[`;\alpha]
\morphism(500,0)|a|/{@{<-}@/^10pt/}/[y`x;f']
\morphism(500,0)|b|/{@{<-}@/_10pt/}/[y`x;g']
\morphism(750,120)|r|/=>/<0,-200>[`;\beta]
\place(1100,0)[=]
\morphism(1200,0)|a|/{@{<-}@/^10pt/}/<1000,0>[z`x;f\cdot f']
\morphism(1200,0)|b|/{@{<-}@/_10pt/}/<1000,0>[z`x;g\cdot g']
\morphism(1700,120)|r|/=>/<0,-200>[`;\alpha\circ\beta]
\efig$$
\end{document}
应该注意的是,它diagxy
是 Xy-pic 的一个前端,barr
在最新版本中现在是一个选项(称为,不是我选择的名称)。它可以与任何 Xy-pic 代码混合使用,唯一需要记住的是,参数\unitlength
变得更小,以便进行更精细的控制,并且必须相应地调整混合的任何 Xy-pic 代码。有一个教程以及diaxydoc.tex
必须阅读的调用。
答案3
好吧,似乎没人知道如何修复它。一个(不太干净的)技巧是在 $\alpha \circ \beta$ 之前添加空格