I want to use tikzcd to draw a diagram with one above another, and with a big downarrow from up to down. So I need to put the following 3 parts vertically:
And I want to get another similar one on its right, which I believe I can use
\qquad
. My code will be like this:
\begin{equation}
\begin{tikzcd}[column sep=3em]
w \ar[rrd, bend left=16] \ar[rd, dotted, "\exists!"'] & & \\
& x \ar[r, "f"'] & y
\end{tikzcd}
\begin{tikzcd}[column sep=3em]
{} \ar[Rightarrow, d, "p"]\\
{}
\end{tikzcd}
\begin{tikzcd}[column sep=3em]
p(w) \ar[rrd, bend left=12] \ar[rd] & & \\
& p(x) \ar[r, "p(f)"'] & p(y)
\end{tikzcd}
\qquad
\begin{tikzcd}[column sep=3em]
w \ar[rrd, bend left=16] \ar[rd, dotted, "\exists!"'] & & \\
& x \ar[r, "f"'] & y
\end{tikzcd}
\begin{tikzcd}[column sep=3em]
{} \ar[Rightarrow, d, "p"]\\
{}
\end{tikzcd}
\begin{tikzcd}[column sep=3em]
p(w) \ar[rrd, bend left=12] \ar[rd] & & \\
& p(x) \ar[r, "p(f)"'] & p(y)
\end{tikzcd}
\end{equation}
The problem is, how to modify my code to get what I want? A way to make the big downarrow bigger would also be welcome. Thanks!