答案1
只需几分钟即可使用tikz-cd
;质量比 with 好得多pb-diagram
,语法也更简单。
\documentclass{article}
\usepackage{amsmath,amssymb}
\usepackage{tikz-cd}
\newcommand{\id}{\mathit{id}}
\begin{document}
\begin{tikzcd}
& A\otimes A \arrow[dd,"m"] \\
k\otimes A \arrow[ur,"u\otimes\id"] \arrow[dr,"s"] &&
A\otimes k \arrow[ul,swap,"\id\otimes u"] \arrow [dl,swap,"s"] \\
& A
\end{tikzcd}
\bigskip
\begin{tikzcd}[column sep=4em,row sep=3em]
\mathbb{K}\otimes C &
C\otimes C \arrow[l,swap,"\varepsilon_C\otimes\mathbf{1}_C"]
\arrow[r,"\mathbf{1}_C\otimes\varepsilon_C"] &
C\otimes\mathbb{K} \\
& C \arrow[ul,swap,"\sim"]
\arrow[u,"\Delta_C" description]
\arrow[ur,"\sim"]
\end{tikzcd}
\bigskip
\begin{tikzcd}[column sep=3em,row sep=3em]
C\otimes C\otimes C & C\otimes C \arrow[l,swap,"\Delta\otimes\id"] \\
C\otimes C \arrow[u,"\id\otimes\Delta"] &
C \arrow[l,"\Delta"] \arrow[u,swap,"\Delta"]
\end{tikzcd}
\bigskip
\begin{tikzcd}
& C\otimes C \arrow[dl,swap,"\varepsilon\otimes\id"]
\arrow[dr,"\id\otimes\varepsilon"] \\
k\otimes C && C\otimes k \\
& C \arrow[ul,"{-}\otimes 1"]
\arrow[uu,"\Delta"]
\arrow[ur,swap,"1\otimes{-}"]
\end{tikzcd}
\end{document}