File:Categorical pushout (expanded).svg

Summary

Description
English: A diagram depicting the universal property of the categorical pushout of two maps.
Date
Source Own work
Author Ryan Reich
Other versions File:CategoricalPushout-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]_{j_1} \ar@/^10pt/@{<-}[drr]^{j_2}
     \ar@{<--}[dr]|*+<3pt,3pt>{\scriptstyle u} & & \\
   & P \ar@{<-}[d]_(0.4){i_1} \ar@{<-}[r]^(0.4){i_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%20pushout%20(expanded).svgCategory:PD-self#Categorical%20pushout%20(expanded).svg Category:SVG commutative diagrams Category:Images with LaTeX source code Category:Pushouts (category theory)
Category:Images with LaTeX source code Category:PD-self Category:Pushouts (category theory) Category:SVG commutative diagrams Category:Self-published work