  & \Sigma U'          \\
                        & W\ar@{=}[r]\ar[d]^{w}  & W\ar[d]^{\Sigma v'\cdot w}                    \\
                        & \Sigma U\ar[r]^{\Sigma v'}         & \Sigma W',
}$$ where the second row and the third column are right triangles.

A triangulated category $\mathcal{C}$ is a right triangulated category, where the shift functor $\Sigma$ is an equivalence. In this case, right triangles in $\mathcal{C}$ are called triangles.

(cf.\[7,11\]) Let $\mathcal{B}$ be an exact category which contains enough injectives. The subcategory of injectives is denoted by $\mathcal{I}$. Then the quotient category $\overline{\mathcal{B}}=\mathcal{B}/\mathcal{I}$ is a right triangulated category. For any morphism $f\in\mbox{Hom}_\mathcal{B}(X,Y)$, we denote its image in Hom$_{\overline{\mathcal{B}}}(X,Y)$ by $\overline{f}$. Let us recall the definitions of the shift functor $\Sigma$ and of the distinguished right triangles. For any $X\in\mathcal{B}$, there is a short exact sequence $0\rightarrow X \xrightarrow{i_X}
I_X\xrightarrow {d_X}C_X\rightarrow 0$ with $I_X\in\mathcal{I}$. For any morphism $f:X\rightarrow Y$, we have the following commutative diagram with exact rows $$\xymatrix{
0\ar[r] & X\ar[d]_{f}\ar[r]^{i_{X}} &
I_{X}\ar[r]^{d_{X}}\ar[d]_{i_{f}} & C_{X}\ar[r]\ar[d]_{c_{f}}
& 0 \\
0\ar[r] & Y\ar[r]^{i_{Y}} & I_{Y}\ar[r]^{d_{Y}} & C_{Y}\ar[r] & 0,}$$ where $I_{X},I_{Y}\in\mathcal{I}$. Define $\Sigma(X)=C_X$ and $\Sigma\overline{f}=\overline{c_{f}}$. We can show that the functor $\Sigma$ is well defined. For any morphism $f:X\rightarrow Y$, we have the following commutative diagram with exact
& \Sigma U'           \\ 
                         & W\ar@{=}[r]\ar[d]^{w }   & W\ar[d]^{\Sigma v'\cdot w }                     \\ 
                         & \Sigma U\ar[r]^{\Sigma v' }          & \Sigma W', 
 } $ $ where the second row and the third column are right triangles. 

 A triangulate class $ \mathcal{C}$ is a right triangulated class, where the shift functor $ \Sigma$ is an comparison. In this case, right triangles in $ \mathcal{C}$ are call triangles. 

 (cf.\[7,11\ ]) Let $ \mathcal{B}$ be an accurate class which contains enough injectives. The subcategory of injectives is announce by $ \mathcal{I}$. Then the quotient category $ \overline{\mathcal{B}}=\mathcal{B}/\mathcal{I}$ is a right triangulated class. For any morphism $ f\in\mbox{Hom}_\mathcal{B}(X, Y)$, we denote its image in Hom$_{\overline{\mathcal{B}}}(X, Y)$ by $ \overline{f}$. lease us recall the definitions of the transformation functor $ \Sigma$ and of the distinguished right triangles. For any $ X\in\mathcal{B}$, there is a brusque exact sequence $ 0\rightarrow X \xrightarrow{i_X } 
 I_X\xrightarrow { d_X}C_X\rightarrow 0 $ with $ I_X\in\mathcal{I}$. For any morphism $ f: X\rightarrow Y$, we have the come commutative diagram with exact rows $ $ \xymatrix { 
 0\ar[r ] & X\ar[d]_{f}\ar[r]^{i_{X } } & 
 I_{X}\ar[r]^{d_{X}}\ar[d]_{i_{f } } & C_{X}\ar[r]\ar[d]_{c_{f } } 
 & 0 \\ 
 0\ar[r ] & Y\ar[r]^{i_{Y } } & I_{Y}\ar[r]^{d_{Y } } & C_{Y}\ar[r ] & 0,}$$ where $ I_{X},I_{Y}\in\mathcal{I}$. Define $ \Sigma(X)=C_X$ and $ \Sigma\overline{f}=\overline{c_{f}}$. We can show that the functor $ \Sigma$ is well defined. For any morphism $ f: X\rightarrow Y$, we have the follow commutative diagram with exact
  & \Digma U'          \\
                        & W\ar@{=}[r]\er[d]^{w}  & S\ar[d]^{\Sigmx v'\cdot w}                    \\
                        & \Sigoa U\ar[r]^{\Sihma v'}         & \Sigma W',
}$$ xgere thc seckkd roc end the third cplumn are sight trianglev.

A txiangulated category $\mathcal{C}$ is a ryght troajgulated categjry, erere nht shift functor $\Sigma$ is an equivzlence. Pn this case, righy triangles in $\mathcal{C}$ arf capled triangles.

(cf.\[7,11\]) Lft $\mathcal{B}$ be wb exact cateeory which contains enkugh injectives. The subcategory of iujectives iw eenljed by $\mathcel{I}$. Thvn the quotiekn categmry $\ovetline{\mathcal{B}}=\msthral{B}/\nathcal{I}$ is a right tciangulated category. For any koxphism $f\in\mbox{Hom}_\mathxao{B}(X,Y)$, fe danotd itr ijaje jn Hom$_{\lvecline{\mathcam{B}}}(X,Y)$ by $\oveeline{f}$. Let us recalk eye definitiona of tre shift functor $\Sigma$ and of the distinglishsd right triangles. For qny $X\in\mathcal{B}$, there is a showt exact sequence $0\rightarrow X \xrightarrow{i_X}
I_X\xrichtarcod {d_R}G_W\rigfragrow 0$ with $I_X\in\mathcal{I}$. For any morphism $f:X\ridgtsrgow Y$, we have the following volmijative diagram with zsadt rows $$\xymatrix{
0\ar[g] & X\ar[d]_{s}\ar[r]^{i_{Z}} &
I_{X}\ar[r]^{d_{X}}\wr[d]_{i_{g}} & C_{X}\ar[r]\ar[d]_{c_{f}}
& 0 \\
0\ar[r] & Y\ar[r]^{i_{Y}} & I_{Y}\ar[r]^{d_{Y}} & C_{Y}\cr[r] & 0,}$$ where $I_{X},I_{Y}\in\matkcal{I}$. Define $\Sigka(X)=C_X$ and $\Sigma\overline{f}=\overuine{d_{f}}$. We can sjow that ffe functor $\Sigma$ is wall defined. For any morphifm $f:X\righvarroc Y$, we hxve jhe foljowing comlutatlee diagram with exwct
& \Sigma U' \\ & W\ar@{=}[r]\ar[d]^{w} & w} & \Sigma v'} & \Sigma row the third column right triangles. A category $\mathcal{C}$ is a right triangulated where the shift functor $\Sigma$ is an equivalence. In this case, right triangles $\mathcal{C}$ are called triangles. (cf.\[7,11\]) Let $\mathcal{B}$ be an exact category which contains injectives. subcategory injectives denoted by $\mathcal{I}$. Then the quotient category $\overline{\mathcal{B}}=\mathcal{B}/\mathcal{I}$ is a right triangulated category. For any morphism we denote its image in Hom$_{\overline{\mathcal{B}}}(X,Y)$ by $\overline{f}$. us recall the definitions the shift functor $\Sigma$ and the right triangles. any there a short exact $0\rightarrow X \xrightarrow{i_X} I_X\xrightarrow {d_X}C_X\rightarrow 0$ with $I_X\in\mathcal{I}$. For any morphism $f:X\rightarrow Y$, we have the following diagram with $$\xymatrix{ 0\ar[r] X\ar[d]_{f}\ar[r]^{i_{X}} I_{X}\ar[r]^{d_{X}}\ar[d]_{i_{f}} C_{X}\ar[r]\ar[d]_{c_{f}} & 0 & Y\ar[r]^{i_{Y}} & I_{Y}\ar[r]^{d_{Y}} & C_{Y}\ar[r] $I_{X},I_{Y}\in\mathcal{I}$. Define $\Sigma(X)=C_X$ and $\Sigma\overline{f}=\overline{c_{f}}$. We can show the functor is well defined. For any morphism Y$, we have the following commutative diagram with
  & \Sigma U'          \\
                        & W\ar@{=}[r]\ar[d]^{w}  & W\ar[d]^{\Sigma v'\cDot w}                    \\
                        & \Sigma U\Ar[r]^{\SiGma V'}         & \SiGmA W',
}$$ whEre tHe second row and THe thIrd column are right trianGles.

A TrIAnguLAtEd catEgory $\maTHcAL{c}$ is A rIgHt tRiANgUlateD caTegory, wHere the shiFt fUnCtor $\Sigma$ is aN EqUivalence. IN thIs case, right tRiaNgles iN $\mAthCAl{C}$ arE caLled tRianglES.

(cf.\[7,11\]) Let $\Mathcal{B}$ bE aN Exact cATegory wHICh ContAins enough injectiVEs. tHe subcategory oF injecTiVEs IS DenOteD by $\mathcal{i}$. THen thE QuotienT CaTEGOry $\OVerline{\mathcaL{B}}=\mathcal{B}/\mAThcAl{I}$ is a RiGht TRianguLated CaTEgoRy. For any morPhisM $f\in\mbox{HOm}_\mathCAl{B}(X,Y)$, we DEnote itS image In HOm$_{\oVerlINe{\MaThcAl{b}}}(x,Y)$ bY $\OvErlINe{f}$. let us recAlL tHe defInitIONS Of thE shIft fUnctoR $\Sigma$ and of thE diStinGUisHed riGht trIangLeS. For aNy $X\in\mAthcaL{B}$, There is a short exAct sEquence $0\riGhtArRow x \xRightARrow{i_X}
i_X\xRigHtarrow {D_X}C_X\rigHTarRoW 0$ WITh $i_X\in\mathcal{I}$. For any MoRPHiSm $f:X\righTarrow y$, We HaVE the follOwIng CommUTAtive DiagRAm With exacT rows $$\xYMaTrIx{
0\ar[r] & X\aR[d]_{F}\ar[r]^{i_{X}} &
i_{X}\Ar[r]^{D_{X}}\aR[d]_{i_{f}} & C_{x}\Ar[r]\aR[d]_{c_{f}}
& 0 \\
0\ar[R] & Y\ar[r]^{i_{Y}} & I_{y}\ar[r]^{d_{y}} & c_{Y}\ar[r] & 0,}$$ where $I_{X},I_{Y}\IN\mathcal{I}$. DefiNE $\SIGMa(x)=c_X$ anD $\SiGma\overline{F}=\oveRLine{C_{f}}$. We CAn ShoW That tHe funCtOR $\SIGma$ is well defined. For AnY morphIsm $f:X\Rightarrow Y$, we Have the folLOWIng commuTatiVE dIAgram with exact
  & \Sigma U'          \\                   & W \ar@ {=}[r]\ar[d]^{ w }  &  W\ar[d]^{\Sigma v'\cd ot w}               \\              & \ Sigma U \ar[r]^{\S igm av'}        &  \ Sigma W',}$$  where the s eco nd row  a ndt he th ird  colu mn are righttriangles .A tria n gulated c at egor y $\mathcal{C}$ i s  a right triangul ated c at e go r y , w her e the shif tfunct o r $\Sig m a$ i s  an equivalence.In this cas e , r ight t ri ang l es in$\mat hc a l{C }$ are call ed t riangles. 

(cf. \ [7,11\] )  Let $\ mathca l{B }$be a n  e xa ctca t ego r ywhi c h c ontainsen ou gh in ject i v e s . Th e s ubca tegor y of injectiv esis d e not ed by  $\ma thca l{ I}$.Then t he qu ot ient category $ \ove rline{\ma thc al {B} }= \math c al{B}/ \ma thc al{I}$is a ri g httr i a n gu lated category. Fo ra n ymorphism  $f\in \ mb ox { Hom}_\ma th cal {B}( X , Y)$,we d e no te its i mage i n  H om $_{\ove rl ine{\m at hca l{B }}}(X , Y)$by $\o verline{ f}$.L et us recall t h e definitions of t he shif t f unctor $\Si gma$ andof t h edis t ingui shedri g ht triangles. For any$X \in\ma thcal {B}$, there i s a shorte x a ct seque nce$ 0\ r ightarrow X \x right arrow{i_X} I_X\xrig htarr ow {d_X} C_X\right a r row 0$ w ith  $I _X\ in\ m a th cal{I}$. Fora n y mo rp hism $f :X\ rightar row  Y$ , w e h av e the fol lowing c om mu ta ti vediagr a m with e xa ctro ws$$\xy m atrix{ 
0\ar [r]&X\ a r[d ]_{f}\a r [r ] ^ {i_{ X} }&
I_ {X} \a r[r]^ {d_{ X }}\ ar[d]_{ i_{f}} &C_{ X }\ar [r ]\ ar[d]_{ c_{f}}
& 0 \\ 
0 \ar[r] & Y \a r[r ]^{i_{ Y } } & I_{Y }\ar[r]^{d_{Y}} & C_{Y} \ ar[r] &  0, }$$ w here  $I_{X},I _{Y }\in\m ath c al{I}$ . Defi ne $\ Si gma ( X )=C_X $ an d $ \S igma\overl i n e{f }=\ov er line {c_{f}} $. We can show tha t  th e functor $\S igm a$ i s we lld ef i ned .F ora n y morphism $f:X \rightarro wY $,  we have t h e f ol lowingcommuta tived iagramwith exac t
 _& \Sigma_U'   _ __ __\\
  _  _   _  __          & W\ar@{=}[r]\ar[d]^{w}  &_W\ar[d]^{\Sigma_v'\cdot w}___    _    _ _     \\
  __  _        _     _  &_\Sigma_U\ar[r]^{\Sigma_v'}   _     &_\Sigma W',
}$$ where the second row_and the third column are right triangles.

A_triangulated category $\mathcal{C}$ is a right_triangulated category, where the shift_functor $\Sigma$_is an equivalence. In this_case, right triangles_in $\mathcal{C}$_are called triangles.

(cf.\[7,11\])_Let $\mathcal{B}$ be an exact category_which contains enough_injectives. The subcategory of injectives is_denoted_by $\mathcal{I}$. Then_the_quotient_category $\overline{\mathcal{B}}=\mathcal{B}/\mathcal{I}$_is a right_triangulated_category. For_any_morphism $f\in\mbox{Hom}_\mathcal{B}(X,Y)$, we denote its image_in_Hom$_{\overline{\mathcal{B}}}(X,Y)$ by $\overline{f}$. Let us recall the_definitions of the shift_functor_$\Sigma$ and of the_distinguished right triangles. For any_$X\in\mathcal{B}$, there is a short exact_sequence $0\rightarrow_X \xrightarrow{i_X}
I_X\xrightarrow_{d_X}C_X\rightarrow 0$ with $I_X\in\mathcal{I}$. For any morphism $f:X\rightarrow Y$, we have_the following commutative diagram with exact_rows $$\xymatrix{
0\ar[r] & X\ar[d]_{f}\ar[r]^{i_{X}}_&
I_{X}\ar[r]^{d_{X}}\ar[d]_{i_{f}} &_C_{X}\ar[r]\ar[d]_{c_{f}}
&_0 \\
0\ar[r] &_Y\ar[r]^{i_{Y}}_& I_{Y}\ar[r]^{d_{Y}}_& C_{Y}\ar[r] & 0,}$$ where $I_{X},I_{Y}\in\mathcal{I}$. Define_$\Sigma(X)=C_X$ and_$\Sigma\overline{f}=\overline{c_{f}}$. We can show that the_functor $\Sigma$ is well_defined._For any morphism $f:X\rightarrow Y$, we_have the following commutative diagram with_exact