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}
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:
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}