Usando el paquete pb-diagram

Usando el paquete pb-diagram

Tengo dificultades con el uso del paquete pb-diagram. Quiero ser como el resultado a continuación. ¡Por favor ayúdenme! ¡Muchas gracias!

ingrese la descripción de la imagen aquí ingrese la descripción de la imagen aquí ingrese la descripción de la imagen aquí

ingrese la descripción de la imagen aquí

Respuesta1

Unos minutos con tikz-cd; mucha mejor calidad que con pb-diagramy una sintaxis mucho más sencilla.

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

ingrese la descripción de la imagen aquí

información relacionada