אני, בעל זכויות היוצרים על עבודה זו, מפרסם בזאת את העבודה תחת הרישיון הבא:

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