不确定如何为切片/coslice 类别创建特定图表

Question

我正在使用 Tikz-cd 并尝试遵循此http://www.jmilne.org/not/Mtikz.pdf但我似乎无法得到这样的图表（取自 Aluffi 的《代数第 0 章》）

我最关心的图是下面的我无法弄清楚的态射图。

非常感激。

Answer 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}