An arrow between tensor products $A\otimes B\to C\otimes D$ is determined by its components $A\to C$ and $B\to D$. Hence it seems natural to represent such an arrow by a pair of arrows. My question is: how to draw such a arrow in tikz-cd?

The following is my trying. However, it is too complicate and the middle arrow $\otimes$ cannot match the correct boundary of the right-side tensor product.

\begin{tikzcd}[row sep=0pt]
A\ar[r,phantom,shift right=0.8em,"{f}"]&
B\ar[r,phantom,shift left=0.8em,"{g}"]&

I really like the idea, but in this case I'd actually like to argue that one may use tikzmark instead to annotate an equation. In other words, I am not 100% convinced that one should start out with tikz-cd only because of its arrows. After all, LaTeX itself is very good for typesetting equations, and one could just add the arrows with TikZ rather than designing the full equation.

\left.\begin{array}{c}\tikzmarknode{A}{A}\\ \otimes \\ 
\xrightarrow{f\otimes g}
\left\{\!\begin{array}{c}\tikzmarknode{Cup}{\text{Cup}}\\ \otimes \\ 
\begin{tikzpicture}[overlay,remember picture]
\draw[-latex,preaction={draw,white,very thick,-}] (A) to[bend left=15] node[midway,above]{$\scriptstyle f$} (Cup);
\draw[-latex,preaction={draw,white,very thick,-}] (B)  to[bend right=15] node[midway,below]{$\scriptstyle g$} (Down);

\left.\begin{array}{c}\tikzmarknode{A'}{A}\\ \otimes \\ 
\xrightarrow{f\otimes g}
\left\{\!\begin{array}{c}\tikzmarknode{Cup'}{\text{Cup}}\\ \otimes \\ 
\begin{tikzpicture}[overlay,remember picture]
\draw[->,preaction={draw,white,very thick,-}] (A') to
node[midway,above]{$\scriptstyle f$} (Cup');
\draw[->,preaction={draw,white,very thick,-}] (B')  to
node[midway,below]{$\scriptstyle g$} (Down');


enter image description here

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.