![不确定如何为切片/coslice 类别创建特定图表](https://linux22.com/image/341629/%E4%B8%8D%E7%A1%AE%E5%AE%9A%E5%A6%82%E4%BD%95%E4%B8%BA%E5%88%87%E7%89%87%2Fcoslice%20%E7%B1%BB%E5%88%AB%E5%88%9B%E5%BB%BA%E7%89%B9%E5%AE%9A%E5%9B%BE%E8%A1%A8.png)
我正在使用 Tikz-cd 并尝试遵循此http://www.jmilne.org/not/Mtikz.pdf但我似乎无法得到这样的图表(取自 Aluffi 的《代数第 0 章》)
我最关心的图是下面的我无法弄清楚的态射图。
非常感激。
答案1
这非常简单tikz-cd
:
\documentclass{article}
\usepackage{amsmath,tikz-cd}
\begin{document}
\begin{tikzcd}
&& A \\
Z_1 \arrow[r,"\sigma"]
\arrow[urr,bend left,"f_1"]
\arrow[drr,bend right,swap,"g_1"] &
Z_2 \arrow[ur,"f_2"]
\arrow[dr,swap,"g_2"] \\
&& B
\end{tikzcd}
\end{document}
左和右指的是箭头的一侧,就像我们谈论河岸时一样(从源头到终点)。标签默认放置在左侧,但swap
允许更改。
的r
意思是“目标是右边的单元格”,而 的urr
意思是“目标是右边两步上一步的单元格”。你必须把网格中的对象想象成一个矩阵。在本例中是一个 3x3 的矩阵。
作者可能使用过的历史替代方案是 Xy-pic。
\documentclass{article}
\usepackage{amsmath}
\usepackage[all,cmtip]{xy}
\begin{document}
\xymatrix@R-1pc{
&& A \\
Z_1 \ar[r]^\sigma
\ar@/^1pc/[urr]^{f_1}
\ar@/_1pc/[drr]_{g_1} &
Z_2 \ar[ur]^{f_2}
\ar[dr]_{g_2} \\
&& B
}
\end{document}