Arrows between arrows

I think you can use tikz-cd for this kind of diagrams. For example, use

\documentclass[preview,border=1pt]{standalone}

\usepackage{tikz}
\usepackage{tikz-cd}

\begin{document}
%% Hint for the positions: L=left, R=right, U=up D=down
  \begin{tikzcd}
    C \arrow[bend left=80]{r}[name=LUU, below]{}
    \arrow{r}[name=LUD]{}
    \arrow[swap]{r}[name=LDU]{}
    \arrow[bend right=80]{r}[name=LDD]{}
    \arrow[Rightarrow,to path=(LUU) -- (LUD)\tikztonodes]{r}{\sigma}
    \arrow[Rightarrow,to path=(LDU) -- (LDD)\tikztonodes]{r}{\tau}
    & 
    B
    \arrow[bend left=80]{r}[name=RUU, below]{}
    \arrow{r}[name=RUD]{}
    \arrow[swap]{r}[name=RDU]{}
    \arrow[bend right=80]{r}[name=RDD]{}
    \arrow[Rightarrow,to path=(RUU) -- (RUD)\tikztonodes]{r}{\sigma'}
    \arrow[Rightarrow,to path=(RDU) -- (RDD)\tikztonodes]{r}{\tau'}
    & A
  \end{tikzcd}
\end{document}

enter image description here


A solution using MetaPost could look something like this:

u:=1.8cm; % Horizontal scale
s:=6pt; % shift from letters
h:=10pt; % height

label(btex $C$ etex, (0,0));
label(btex $B$ etex, (u,0));
label(btex $A$ etex, (2u,0));


drawarrow ((s,0)--(u-s,0)) shifted (0,-h);
drawarrow ((s,0)--(u-s,0)) shifted (0,h);
drawarrow ((u+s,0)--(2u-s,0)) shifted (0,-h);
drawarrow ((u+s,0)--(2u-s,0)) shifted (0,h);

label.top(btex $\strut S$ etex, (0.5u,h));
label.bot(btex $\strut T$ etex, (0.5u,-h));

drawarrow ((0.5u,0.8h)--(0.5u,-0.8h));
label.rt(btex $\strut\tau$ etex, (0.5u,0));

label.top(btex $\strut S'$ etex, (1.5u,h));
label.bot(btex $\strut T'$ etex, (1.5u,-h));

drawarrow ((1.5u,0.8h)--(1.5u,-0.8h));
label.rt(btex $\strut\tau'$ etex, (1.5u,0));

The result looks like:

enter image description here


With stacks.

\documentclass{article}
\usepackage{graphicx}
\usepackage[usestackEOL]{stackengine}
\stackMath
\def\xtnd{-\kern-5pt-\kern-5pt}
\setstackgap{L}{.45\baselineskip}
\begin{document}
\[C
\mathop{\raisebox{1pt}{\Centerstack{
  S\\
  \xtnd\rightarrow\\ 
  \raisebox{.5pt}{$\scalebox{.8}{$\downarrow$}\scriptstyle\tau$}\\
  \xtnd\rightarrow\\
  T}}}
B
\mathop{\raisebox{1pt}{\Centerstack{
  S'\\
  \xtnd\rightarrow\\ 
  \raisebox{.5pt}{$\scalebox{.8}{$\downarrow$}\scriptstyle\tau'$}\\
  \xtnd\rightarrow\\
  T'}}}
A\]
\[C
\mathop{\Centerstack{
  \xtnd\rightarrow\\ 
  \raisebox{.5pt}{$\scalebox{.8}{$\downarrow$}\scriptstyle\sigma$}\\
  \xtnd\rightarrow\\ 
  \raisebox{.5pt}{$\scalebox{.8}{$\downarrow$}\scriptstyle\tau$}\\
  \xtnd\rightarrow}}
B
\mathop{\Centerstack{
  \xtnd\rightarrow\\ 
  \raisebox{.5pt}{$\scalebox{.8}{$\downarrow$}\scriptstyle\sigma'$}\\
  \xtnd\rightarrow\\ 
  \raisebox{.5pt}{$\scalebox{.8}{$\downarrow$}\scriptstyle\tau'$}\\
  \xtnd\rightarrow}}
A\]
\end{document}

enter image description here