File:Functor co-cone (extended).svg

Summary

Description
English: A commutative diagram depicting a universal co-cone under a functor.
Date
Source Own work
Author Ryan Reich
Other versions File:FunctorCone-04.png

LaTeX source

\documentclass{amsart}
\usepackage{amsmath,amssymb,nopageno}
\usepackage[all]{xy}
\begin{document}
 \begin{equation*}
  \xymatrix@C+2em@R+2em{
   F(X) \ar[rr]^*{F(f)} & & F(Y) \\
   & L \ar@{<-}[ul]^(0.4)*-<1ex,1ex>{\phi_X} \ar@{<-}[ur]_(0.4)*-<1ex,1ex>{\phi_Y} & \\
   & N \ar@{<-}@/^10pt/[uul]^*{\psi_X} \ar@{<-}@/_10pt/[uur]_*{\psi_Y} \ar@{<--}[u]|*+<5pt,5pt>{u} &
  }
 \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#Functor%20co-cone%20(extended).svgCategory:PD-self#Functor%20co-cone%20(extended).svg Category:SVG commutative diagrams Category:Images with LaTeX source code Category:Cones (category theory)
Category:Cones (category theory) Category:Images with LaTeX source code Category:PD-self Category:SVG commutative diagrams Category:Self-published work