File:Categorical pullback (expanded).svg

Summary

Description
English: A commutative diagram expressing the universal property of a categorical pullback.
Date
Source Own work
Author Ryan Reich
Other versions File:CategoricalPullback-02.png

LaTeX source

\documentclass{amsart}
\usepackage{amsmath,amssymb,nopageno}
\usepackage[all]{xy}
\begin{document}
 \begin{equation*}
  \xymatrix@C+2em@R+2em{
   Q \ar@/_10pt/[ddr]_{q_1} \ar@/^10pt/[drr]^{q_2} \ar@{-->}[dr]|*+<3pt,3pt>{\scriptstyle u} & & \\
   & P \ar[d]_(0.4){p_1} \ar[r]^(0.4){p_2} & Y \ar[d]^{g}\\
   & X \ar[r]_{f} & Z
  }
 \end{equation*}
\end{document}

Licensing

Public domain 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.
Category:Self-published work#Categorical%20pullback%20(expanded).svgCategory:PD-self#Categorical%20pullback%20(expanded).svg Category:SVG commutative diagrams Category:Images with LaTeX source code Category:Pullbacks (category theory)
Category:Images with LaTeX source code Category:PD-self Category:Pullbacks (category theory) Category:SVG commutative diagrams Category:Self-published work