من، صاحب حقوق قانونی این اثر، به این وسیله این اثر را تحث اجازه‌نامهٔ ذیل منتشر می‌کنم:

Public domainPublic domainfalsefalse

من، دارنده حق تکثیر این اثر، این اثر را به مالکیت عمومی منتشر می‌کنم. این قابل اجرا در تمام نقاط جهان است. در برخی از کشورها ممکن است به صورت قانونی این امکان‌پذیر نباشد؛ اگر چنین است: من اجازهٔ استفاده از این اثر را برای هر مقصودی، بدون هیچ‌گونه شرایطی می‌دهم، تا وقتی که این شرایط توسط قانون مستلزم نشده باشد.

\documentclass{article}
\usepackage{xy}
\xyoption{all}
\begin{document}
\pagestyle{empty}
\[
\xymatrix{
& Y \ar[ld]_{f_1} \ar@{-->}[d]^f \ar[rd]^{f_2} & \\
X_1 & X_1 \times X_2 \ar[l]^{\pi_1} \ar[r]_{\pi_2} & X_2 \\
}
\]
\end{document}

This image is a derivative work of the following images:

• File:CategoricalProduct-03.png licensed with PD-self
  • 2005-09-24T04:36:00Z Fropuff 213x124 (3355 Bytes) Universal property of the product in category theory.

Uploaded with derivativeFX