Last active
January 11, 2021 04:38
-
-
Save daig/90825e9f502cb5dcfa81b9ce4f4e13a5 to your computer and use it in GitHub Desktop.
Chu diagrams
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
\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} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
\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} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
\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} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
\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