rem__inverting_isomorphisms_may_preserve_commutativity.tex

\documentclass{classes/tikzcd}

\begin{document}
  \begin{tikzcd}[column sep=tiny, row sep=tiny]
                                             & 2^\omega &                                             \\
    3 \ar[ur, "\iota"] \ar[dr, "\iota" swap] &          & \omega^2 \ar[ul, "\iota" swap] \ar[dl, "f"] \\
                                             & \omega   &
  \end{tikzcd}

  \begin{tikzcd}[column sep=tiny, row sep=tiny]
                                             & 2^\omega                      &                                \\
    3 \ar[ur, "\iota"] \ar[dr, "\iota" swap] &                               & \omega^2 \ar[ul, "\iota" swap] \\
                                             & \omega \ar[ur, "f^{-1}" swap] &
  \end{tikzcd}
\end{document}