Skip to content

Instantly share code, notes, and snippets.

@daig
Last active January 11, 2021 04:38
Show Gist options
  • Save daig/90825e9f502cb5dcfa81b9ce4f4e13a5 to your computer and use it in GitHub Desktop.
Save daig/90825e9f502cb5dcfa81b9ce4f4e13a5 to your computer and use it in GitHub Desktop.
Chu diagrams
\newcommand{\chumorph}[5]{
\color{mgrey}
\[
\begin{tikzcd}[ampersand replacement=\&]
\& \chuneu{#1} \& \\
\chupos{#4^+} \ar[rr, "\chupos{#2^+}"] \ar[rd, harpoon, bend right=38] \ar[dd, shift left=0.7, no head, "\chuneu{\overline{#4}}"] \& \& \chupos{#5^+} \ar[dd,phantom, shift left=1.5, "\times"] \ar[ld, harpoon', bend left=38] \\
\& \chuneu{#3} \& \\
\chuneg{#4^-} \ar[uu, phantom, shift left=1.5, "\times"] \ar[ur, harpoon', bend left=38] \& \& \chuneg{#5^-} \ar[uu, no head, shift left=0.7, "\chuneu{\overline{#5}}"] \ar[lu, harpoon, bend right=38] \ar[ll, "\chuneg{#2^-}"]
\end{tikzcd}
\]
\normalcolor}
\begin{tikzcd}
A^+ \ar[rd, harpoon, bend right=38] \ar[dd, shift left=0.7, no head, "\overline{A}"] & \\
& \Omega \\
A^- \ar[uu, phantom, shift left=1.5, "\times"] \ar[ur, harpoon', bend left=38] &
\end{tikzcd}
\begin{tikzcd}
A^+ \ar[dd, "f^+"] \ar[rd, harpoon', bend left=48] \ar[rr, phantom, shift left=3, "\times"] & & A^- \ar[ll, no head, shift right=1.3, "\overline{A}"] \ar[ld, harpoon, , bend right=48] \\
& \Omega & \\
B^+ \ar[ru, harpoon, bend right=48] \ar[rr , shift right=1.3, no head, "\overline{B}"] & & B^- \ar[ll, phantom, shift left=3, "\times"] \ar[lu, harpoon', bend left=48] \ar[uu, "f^-"]
\end{tikzcd}
\begin{tikzcd}
A^+ \ar[rd, harpoon', bend left=48] \ar[rr, phantom, shift left=3, "\times"] & & A^- \ar[ll, no head, shift right=1.3, "\overline{A}"] \ar[ld, harpoon, , bend right=48] \\
& \Omega &
\end{tikzcd}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment