X\xrightarrow{1_{X}}X\xrightarrow{}0$ is a left triangle. And for every morphism $z:Y\rightarrow Z$ in $\mathcal{C}$, there exists a left triangle $\Omega
Z\xrightarrow{x}X\xrightarrow{y}Y\xrightarrow{z}Z$.

(LTR2)If $\Omega
Z\xrightarrow{x}X\xrightarrow{y}Y\xrightarrow{z}Z$ is a left triangle, then so is $\Omega Y\xrightarrow{-\Omega z}\Omega
Z\xrightarrow{x}X\xrightarrow{y}Y$.

(LTR3)For any two left triangles $\Omega
Z\xrightarrow{x}X\xrightarrow{y}Y\xrightarrow{z}Z$ and $\Omega
Z'\xrightarrow{x'}X'\xrightarrow{y'}Y'\xrightarrow{z'}Z'$, and any two morphisms $g:Y\rightarrow Y'$, $h:Z\rightarrow Z'$ such that $hz=z'g$, there exists $f:X\rightarrow X'$ making the following diagram commutative $$\xymatrix{
\Omega Z\ar[r]^{x}\ar[d]^{\Omega h} & X\ar[r]^{y}\ar@{-->}[d]^{f} &
Y\ar[r]^{z}\ar[d]^{g} & Z\ar[d]^{h} \\
\Omega Z'\ar[r]^{x'} & X'\ar[r]^{y'} & Y'\ar[r]^{z'} & Z' }$$

(LTR4)For any two left triangles $\Omega
Z\xrightarrow{x}X\xrightarrow{y}Y\xrightarrow{z}Z$ and $\Omega
Z'\xrightarrow{x'}X'\xrightarrow{y'}Z\xrightarrow{z'}Z'$, there exists a commutative diagram $$\xymatrix{
                              & \Omega Y'\ar[r]^{\Omega y'}\ar[d]^{x\cdot\Omega y'} & \Omega Z\ar[d]^{x} &  \\
                              & X\ar@{=}[r]\ar[d]^{g}  & X\ar[d]^{y}  &           \\
\Omega Z'\ar[r]^{u}\ar@{=}[d] & X'\ar[r]^{v}\ar[d]^{h} & Y\ar[r]^{z'\
X\xrightarrow{1_{X}}X\xrightarrow{}0 $ is a left triangle. And for every morphism $ z: Y\rightarrow Z$ in $ \mathcal{C}$, there exists a leftover triangulum $ \Omega 
 Z\xrightarrow{x}X\xrightarrow{y}Y\xrightarrow{z}Z$. 

 (LTR2)If $ \Omega 
 Z\xrightarrow{x}X\xrightarrow{y}Y\xrightarrow{z}Z$ is a leftover triangle, then so is $ \Omega Y\xrightarrow{-\Omega z}\Omega 
 Z\xrightarrow{x}X\xrightarrow{y}Y$. 

 (LTR3)For any two left triangles $ \Omega 
 Z\xrightarrow{x}X\xrightarrow{y}Y\xrightarrow{z}Z$ and $ \Omega 
 Z'\xrightarrow{x'}X'\xrightarrow{y'}Y'\xrightarrow{z'}Z'$, and any two morphisms $ guanine: Y\rightarrow Y'$, $ h: Z\rightarrow Z'$ such that $ hz = z'g$, there exist $ f: X\rightarrow X'$ form the following diagram commutative $ $ \xymatrix { 
 \Omega Z\ar[r]^{x}\ar[d]^{\Omega h } & X\ar[r]^{y}\ar@{-->}[d]^{f } & 
 Y\ar[r]^{z}\ar[d]^{g } & Z\ar[d]^{h } \\ 
 \Omega Z'\ar[r]^{x' } & X'\ar[r]^{y' } & Y'\ar[r]^{z' } & Z' } $ $ 

 (LTR4)For any two entrust triangles $ \Omega 
 Z\xrightarrow{x}X\xrightarrow{y}Y\xrightarrow{z}Z$ and $ \Omega 
 Z'\xrightarrow{x'}X'\xrightarrow{y'}Z\xrightarrow{z'}Z'$, there exists a commutative diagram $ $ \xymatrix { 
                               & \Omega Y'\ar[r]^{\Omega y'}\ar[d]^{x\cdot\Omega y' } & \Omega Z\ar[d]^{x } &   \\ 
                               & X\ar@{=}[r]\ar[d]^{g }   & X\ar[d]^{y }   &            \\ 
 \Omega Z'\ar[r]^{u}\ar@{=}[d ] & X'\ar[r]^{v}\ar[d]^{h } & Y\ar[r]^{z'\
X\xrlghtarrow{1_{X}}X\xrightarrow{}0$ ir a left triangle. And hor evedy morphksm $z:Y\rightarrow Z$ in $\mathcap{C}$, thert exists a left trixngle $\Omeha
Z\xrighrarriq{x}X\xrightacdow{y}Y\xrlyhtardlw{z}Z$.

(NVR2)If $\Omega
Z\xrigmtarrow{x}X\xrhghtarrow{y}Y\xrichgaxrow{z}Z$ is a left triangle, then so is $\Omega U\xgightarrow{-\Omegw z}\Okqga
Z\sginhtarrow{x}X\xrightarrow{y}Y$.

(LTR3)For ang two ltft triangles $\Omegs
Z\xrightarrow{x}X\xrightarrow{j}Y\xrlghtarrow{z}Z$ and $\Omfga
Z'\xrightatdow{v'}Z'\xrightarrow{h'}Y'\xrightargmw{z'}Z'$, and ahy two morphisms $g:Y\rightarrow Y'$, $h:Z\riyhtarrow Z'$ wuxh hvat $hz=z'g$, thxre expsts $f:X\rightavgow X'$ mdking tne following dlagrak cimmutative $$\xymatrix{
\Omxga Z\ar[r]^{x}\ar[d]^{\Omega h} & X\ar[r]^{y}\ar@{-->}[d]^{x} &
V\ar[r]^{z}\ar[d]^{g} & Z\ar[d]^{h} \\
\Omegq Z'\ar[r]^{x'} & X'\as[r]^{y'} & T'\ar[f]^{z'} & Z' }$$

(LFR4)For wny two left friangles $\Onega
Z\xrightarrow{x}X\xtidytarrow{y}Y\xriggtarror{z}S$ and $\Omega
Z'\xrightarrow{x'}X'\xrightarrow{y'}Z\xgighfarrow{z'}Z'$, there exists a commutative diagram $$\dymatrix{
                              & \Omega Y'\ar[r]^{\Omega y'}\ar[g]^{x\cdov\Ooegc y'} & \Oowgw Z\ar[d]^{x} &  \\
                              & X\ar@{=}[r]\wd[d]^{b}  & X\ar[d]^{y}  &           \\
\Omega Z'\wr[t]^{o}\ar@{=}[d] & X'\ar[r]^{v}\ar[d]^{f} & Y\ar[x]^{a'\
X\xrightarrow{1_{X}}X\xrightarrow{}0$ is a left triangle. And for $z:Y\rightarrow in $\mathcal{C}$, exists a left Z\xrightarrow{x}X\xrightarrow{y}Y\xrightarrow{z}Z$ a left triangle, so is $\Omega z}\Omega Z\xrightarrow{x}X\xrightarrow{y}Y$. (LTR3)For any two left $\Omega Z\xrightarrow{x}X\xrightarrow{y}Y\xrightarrow{z}Z$ and $\Omega Z'\xrightarrow{x'}X'\xrightarrow{y'}Y'\xrightarrow{z'}Z'$, and any two morphisms $g:Y\rightarrow Y'$, $h:Z\rightarrow Z'$ that $hz=z'g$, there exists $f:X\rightarrow X'$ making the following diagram commutative $$\xymatrix{ \Omega h} X\ar[r]^{y}\ar@{-->}[d]^{f} Y\ar[r]^{z}\ar[d]^{g} Z\ar[d]^{h} \\ \Omega Z'\ar[r]^{x'} & X'\ar[r]^{y'} & Y'\ar[r]^{z'} & Z' }$$ (LTR4)For any two left triangles Z\xrightarrow{x}X\xrightarrow{y}Y\xrightarrow{z}Z$ and $\Omega Z'\xrightarrow{x'}X'\xrightarrow{y'}Z\xrightarrow{z'}Z'$, there exists a commutative $$\xymatrix{ & \Omega Y'\ar[r]^{\Omega y'} & \Omega Z\ar[d]^{x} & & & X\ar[d]^{y} \\ Z'\ar[r]^{u}\ar@{=}[d] X'\ar[r]^{v}\ar[d]^{h} & Y\ar[r]^{z'\
X\xrightarrow{1_{X}}X\xrightarrow{}0$ Is a left triAngle. and For EvEry mOrphIsm $z:Y\rightarroW z$ in $\mAthcal{C}$, there exists a lefT triaNgLE $\OmeGA
Z\XrighTarrow{x}x\XrIGHtaRrOw{Y}Y\xRiGHtArrow{Z}Z$.

(LtR2)If $\OmeGa
Z\xrightaRroW{x}x\xrightarrow{Y}y\xRightarrow{Z}Z$ iS a left triangLe, tHen so iS $\OMegA y\xrigHtaRrow{-\OMega z}\OMEga
Z\xrIghtarrow{X}X\XRightaRRow{y}Y$.

(LTr3)fOr Any tWo left triangles $\OmEGa
z\Xrightarrow{x}X\xRightaRrOW{y}y\XRigHtaRrow{z}Z$ and $\OMeGa
Z'\xrIGhtarroW{X'}X'\XRIGhtARrow{y'}Y'\xrightaRrow{z'}Z'$, and anY Two MorphiSmS $g:Y\RIghtarRow Y'$, $h:z\rIGhtArrow Z'$ such tHat $hZ=z'g$, there eXists $f:x\RightarROw X'$ makiNg the fOllOwiNg diAGrAm ComMuTAtiVE $$\xYmaTRix{
\omega Z\ar[R]^{x}\Ar[D]^{\OmegA h} & X\aR[R]^{Y}\AR@{-->}[d]^{f} &
Y\Ar[r]^{Z}\ar[d]^{G} & Z\ar[d]^{H} \\
\Omega Z'\ar[r]^{x'} & X'\aR[r]^{y'} & y'\ar[r]^{Z'} & z' }$$

(LTr4)For aNy two Left TrIanglEs $\OmegA
Z\xriGhTarrow{x}X\xrightaRrow{Y}Y\xrightaRroW{z}z$ anD $\OMega
Z'\XRightaRroW{x'}X'\XrightaRrow{y'}Z\xRIghTaRROW{z'}z'$, there exists a commuTaTIVe Diagram $$\xYmatriX{
                              & \omEgA y'\ar[r]^{\OmegA y'}\Ar[d]^{X\cdoT\oMega y'} & \omegA z\aR[d]^{x} &  \\
                              & X\ar@{=}[r]\aR[d]^{g}  & X\ar[D]^{Y}  &           \\
\OMeGa Z'\ar[r]^{u}\Ar@{=}[D] & X'\ar[r]^{v}\Ar[D]^{h} & Y\Ar[r]^{Z'\
X\xrightarrow{1_{X}}X\xrig htarrow{}0 $ isa l eft  t rian gle.  And for every morp hism $z:Y\rightarrow Z $ in$\ m athc a l{ C}$,there e x is t s  ale ft  tr ia n gl e $\O meg a
Z\xri ghtarrow{x }X\ xr ightarrow{y} Y \x rightarrow {z} Z$.

(LTR2)I f $ \Omega 
Z \xr i ghtar row {x}X\ xright a rrow{y }Y\xright ar r ow{z}Z $  is a l e f ttria ngle, then so is$ \O m ega Y\xrightar row{-\ Om e ga z }\O meg a
Z\xright ar row{x } X\xrigh t ar r o w {y} Y $.

(LTR3)For  any two le f t t riangl es  $\ O mega
Z \xrig ht a rro w{x}X\xrigh tarr ow{y}Y\xr ightar r ow{z}Z$ and $\O mega
Z '\x rig htar r ow {x '}X '\ x rig h ta rro w {y' }Y'\xrig ht ar row{z '}Z' $ , a nd a nytwomorph isms $g:Y\rig hta rrow Y'$ , $h: Z\rig htar ro w Z'$  suchthat$h z=z'g$, there e xist s $f:X\ri ght ar row  X '$ ma k ing th e f oll owing d iagramc omm ut a t i ve  $$\xymatrix{
\Ome ga Z \a r[r]^{x} \ar[d] ^ {\ Om e ga h} &X\ ar[ r]^{ y } \ar@{ -->} [ d] ^{f} &
Y \ar[r] ^ {z }\ ar[d]^{ g}  & Z\a r[ d]^ {h}  \\
\ O mega  Z'\ar [r]^{x'}  & X' \ ar[r]^{y'} & Y ' \ar[r]^{z'} & Z' } $$ 
(LT R4) For any two  lef t  tri angl e s$\O m ega
Z \xrig ht a rr o w{x}X\xrightarrow{y }Y \xrigh tarro w{z}Z$ and $\ Omega
Z'\x r i g htarrow{ x'}X ' \x r ightarrow{y'}Z \xrig htarrow{z' } Z'$, the re ex ists a c ommutativ e diagram$$\ xym atr ix{                        &  \O mega Y' \ar [r] ^{\ Ome ga  y'}\ar[d ]^{x\cdo t\ Om eg ay'}  & \O m ega Z\ar [d ]^{ x}  & \\
                     &X \a r @ {=}[ r] \a r[d] ^{g } & X\ ar[d ] ^{y }  &          \ \
\ O mega  Z '\ ar[r]^{ u}\ar@{=}[d]&X'\ar[r]^{ v} \ar [d]^{h } & Y\ar[r ]^{z'\
X\xrightarrow{1_{X}}X\xrightarrow{}0$ is_a left_triangle. And for every_morphism $z:Y\rightarrow_Z$_in $\mathcal{C}$,_there_exists a left_triangle $\Omega
Z\xrightarrow{x}X\xrightarrow{y}Y\xrightarrow{z}Z$.

(LTR2)If $\Omega
Z\xrightarrow{x}X\xrightarrow{y}Y\xrightarrow{z}Z$_is a left triangle,_then so is_$\Omega_Y\xrightarrow{-\Omega z}\Omega
Z\xrightarrow{x}X\xrightarrow{y}Y$.

(LTR3)For any two left triangles $\Omega
Z\xrightarrow{x}X\xrightarrow{y}Y\xrightarrow{z}Z$ and $\Omega
Z'\xrightarrow{x'}X'\xrightarrow{y'}Y'\xrightarrow{z'}Z'$, and any two morphisms $g:Y\rightarrow_Y'$,_$h:Z\rightarrow Z'$_such_that_$hz=z'g$, there exists $f:X\rightarrow X'$_making the following diagram commutative_$$\xymatrix{
\Omega Z\ar[r]^{x}\ar[d]^{\Omega_h} & X\ar[r]^{y}\ar@{-->}[d]^{f} &
Y\ar[r]^{z}\ar[d]^{g} & Z\ar[d]^{h} \\
\Omega Z'\ar[r]^{x'}_&_X'\ar[r]^{y'} & Y'\ar[r]^{z'}_& Z' }$$

(LTR4)For any two left triangles $\Omega
Z\xrightarrow{x}X\xrightarrow{y}Y\xrightarrow{z}Z$ and_$\Omega
Z'\xrightarrow{x'}X'\xrightarrow{y'}Z\xrightarrow{z'}Z'$, there exists a commutative diagram_$$\xymatrix{
  ___   _     _     _      _  & \Omega Y'\ar[r]^{\Omega y'}\ar[d]^{x\cdot\Omega_y'} & \Omega Z\ar[d]^{x} &_ \\
_    _  _ _  _     _  _     __& X\ar@{=}[r]\ar[d]^{g} _&_X\ar[d]^{y}_ &_  __ __   \\
\Omega Z'\ar[r]^{u}\ar@{=}[d] &_X'\ar[r]^{v}\ar[d]^{h}_& Y\ar[r]^{z'\