test.tex

\documentclass[tikz,convert={outfile=\jobname.svg}]{standalone}
%\usetikzlibrary{...}% tikz package already loaded by 'tikz' option
\begin{document}
\begin{tikzpicture}% Example:

\[\begin{tikzcd}
	{(f a \oplus f b) \oplus f c} && {fa \oplus (fb \oplus fc)} & {} \\
	\\
	{f (a \otimes b) \oplus f c} && {f a \oplus f (b  \otimes c)} \\
	\\
	{f ((a \otimes b) \otimes c)} && {f (a \otimes (b \otimes c))}
	\arrow["{\small{fwd\ assoc}}", from=1-1, to=1-3]
	\arrow["{\small{gbimap\ combine\ id}}"', from=1-1, to=3-1]
	\arrow["{\small{combine}}"', from=3-1, to=5-1]
	\arrow["{\small{gbimap\ id\ combine}}", from=1-3, to=3-3]
	\arrow["{\small{combine}}", from=3-3, to=5-3]
	\arrow["{\small{fmap\ (fwd\ assoc)}}", from=5-1, to=5-3]
\end{tikzcd}\]

\end{tikzpicture}
\end{document}