rem__limit_universal_mapping_property.tex

\documentclass{classes/tikzcd}

\begin{document}
  \begin{tikzcd}[column sep=small, row sep=large]
    D                                              & \Delta(A) \ar[l, "\alpha" swap] \ar[dl, dashed, "\Delta(l)"] \\
    {[\Delta \bincirc \lim](D)}  \ar[u, "\lambda"] &
  \end{tikzcd}

  \begin{tikzcd}[row sep=large]
    D(k)                         & A \ar[l, "\alpha_k" swap] \ar[dl, dashed, "l"] \\
    \lim(D)  \ar[u, "\lambda_k"] &
  \end{tikzcd}
\end{document}