Keywords: CategoricalProduct-03.png CategoricalProduct-03 svg Universal property of the product in category theory TeX source \begin diagram Y \\ \ldTo< f_1 \dDashTo>f \rdTo> \;f_2 \\ X_1 \lTo_ \pi_1 X_1\times X_2 \rTo_ \pi_2 X_2 \\ \end diagram derivative works CategoricalProduct-03 svg Commutative diagrams |