commutative triangle diagram

Definition 0.1   A commutative triangle diagram, $ T_{CD}$ , which is represented geometrically as:

$\displaystyle \begin{xy}
*!C\xybox{
\xymatrix{
{A}\ar[rr]^{f}\ar[dr]_{h}&&{B}\ar[dl]^{g}\\
&{C}&
} }
\end{xy}$

is also defined algebraically by the equality

$\displaystyle h=g\circ f$



Contributors to this entry (in most recent order):

As of this snapshot date, this entry was owned by bci1.