在 xypic 中粘贴 Kan 扩展的图表？

Question

有没有办法排版下面的图表xypic？我发现不可能找出背后的方法\compositemap，真的很感激一些帮助。

以下是我制作的内容：

\xymatrix{\mathsf{C}\ar[rr]^{F}\ar[dr]_{K} & \ar@{}[d]|{\Downarrow \eta} & \mathsf{E}\\
& \mathsf{D}\urtwocell_{G}{\exists!}

编译结果为：

我不知道如何将标签放在顶部弯曲箭头的中间，也不知道如何真正正确地留出空间\Downarrow \eta。我认为compositemap可以自动处理所有这些问题...

Answer 1

您应该放弃xypic并转向更用户友好的方式来绘制交换图，例如基于pgf/ 的tikz交换图。更不用说您可以稍微作弊，让tikz交换图看起来像是使用 绘制的xy！

这是我作为 MWE 的建议

\documentclass{standalone}
\usepackage[utf8]{inputenc}
\usepackage{amsmath,amsfonts,amssymb,amsthm}

\usepackage{tikz-cd}
\begin{document}
\begin{tikzcd}[row sep=2cm, column sep=2cm]
% drawing 0- and 1-celss
\mathsf{C}  \ar[dr, "K"', ""{name=K}]
            \ar[rr, "F", ""{name=F, below, near start, bend right}]&&
\mathsf{E}\\
& \mathsf{D}    \ar[ur, bend left, "\text{Lan}_KF", ""{name=Lan, below}]
                \ar[ur, bend right, "G"', ""{name=G}]
%
% drawing 2-cells  
\arrow[Rightarrow, "\exists!", from=Lan, to=G]
\arrow[Rightarrow, from=F, to=K, "\eta"]
\end{tikzcd}
\end{document}

你可以找到这里的文件tikz-cd。