Keywords: UniversalProperty-03.png Math Commutative diagram defining a universal morphism from X to U See also Image UniversalProperty-04 png TeX source \begin diagram X \rTo \varphi U A A \\ \rdTo_f \dDashTo> U g \dDashTo> g \\ U Y Y \\ \end diagram Commutative diagrams |