thm__cartesian_product_universal_property.tex

\documentclass{classes/tikzcd}

\begin{document}
  \begin{tikzcd}
        & B \ar[d, dashed, "l_B"] \ar[ddl, bend right, "\beta_k" swap]   & \\
        & {\displaystyle \prod_{k \in \mscrK} A_k} \ar[dl, "\pi_k" swap] & \\
    A_k &                                                                &
  \end{tikzcd}
\end{document}