File:CategoricalProduct-03.svg
| Description | |
| Date | (UTC) |
| Source | |
| Author |
|
I, the copyright holder of this work, hereby publish it under the following license:
 |
I, the copyright holder of this work, release this work into the public domain. This applies worldwide. In some countries this may not be legally possible; if so: I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law. |
Source
\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}
Original upload log
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 Category:Uploaded with derivativeFX
Category:SVG commutative diagrams Category:Images with LaTeX source code Category:Products (category theory)