\[
\begin{tikzcd}[
column sep=huge,
row sep=huge,
execute at end picture={
\laxMorphism{(\tikzcdmatrixname-1-1)}{(\tikzcdmatrixname-1-3)}{$\TypeEras$}{$\TypePres$}
\laxMorphism{(\tikzcdmatrixname-2-1)}{(\tikzcdmatrixname-2-3)}{$\TypeEras$}{$\TypePres$}
}
]
\HardTyped \ar[d,hook] & & \SoftTyped \ar[d,hook]\\
\HardProd & & \SoftProd
\end{tikzcd}
\]