thm__ring_localization_universal_property.tex

\documentclass{classes/tikzcd}

\begin{document}
  \begin{tikzcd}[column sep=large, row sep=large]
    R \ar[d, "\iota" swap] \ar[r, "\varphi"]             & T \\
    S^{-1} R \ar[ur, dashed, "\widetilde{\varphi}" swap] &
  \end{tikzcd}
\end{document}