1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
\frametitle{Examples}
\begin{tabular}{c|l}
\begin{tikzcd} X\arrow[r,dashed,"f"] & Y \end{tikzcd} &
\begin{tabular}{l}
\texttt{X \bs arrow[r,dashed,"f"] \& Y}
\end{tabular} \\
& \quad \\
\begin{tikzcd}
A\arrow[r,bend right,"\pi^2"] & B\arrow[r,bend left,tail] & C
\end{tikzcd} &
\begin{tabular}{l}
\texttt{A \bs arrow[r,bend right,"\bs pi\^{}2"] \&} \\
\texttt{B \bs arrow[r,bend left,tail] \& C}
\end{tabular} \\
& \quad \\
\begin{tikzcd}
A \arrow[d,"1"'] \arrow[dr,"2"] & B \\
C & D \arrow[l] \arrow[u,out=45,in=0]
\end{tikzcd} &
\begin{tabular}{l}
\texttt{A \bs arrow[d,"1"'] \bs arrow[dr,"2"] \& B \bs\bs} \\
\texttt{C \& D \bs arrow[l] \bs arrow[u,out=45,in=0]}
\end{tabular}
\end{tabular}
|
