如何在 tikz-cd 中绘制身份形态？

Question

一个身影维基百科：类别（数学）如下：

我可以编写一个没有 id 态射的版本：

\documentclass{article}
\usepackage{tikz-cd}

\begin{document}

\begin{tikzcd}
A \arrow[rd,swap,"f\circ g"]
  \arrow{r}{f} &
B \arrow{d}{g} \\
& C
\end{tikzcd}

\end{document}

如何添加本征态射？

Answer 1

您可以使用loop。loop left和loop right可能对您来说足够好了（above和below也是选项），如果不行，您可以使用自己设置角度out=<angle1>,in=<angle2>,loop，如下图所示B。

\documentclass{article}
\usepackage{tikz-cd}

\begin{document}

\begin{tikzcd}
A \arrow[rd,swap,"f\circ g"]
  \arrow{r}{f}
  \arrow[loop left,"1_A"] &
B \arrow{d}{g}
  \arrow[out=65,in=25,loop,"1_B"] \\
& C
  \arrow[loop right,"1_C"]
\end{tikzcd}

\end{document}