 it by ${\mathrm{KK}}^{G{\mathbin{\ltimes}}X}_*(A,B)$. For several purposes, it is useful to generalise from groups to groupoids. However, we do not treat arbitrary groupoids because it is not so clear what should correspond to the compact subgroups in this case. We work with transformation groups throughout because this generalisation is not more difficult than the group case and useful for several applications.

We write ${\mathrm{K}}_*(A)$ for the graded Abelian group $n\mapsto {\mathrm{K}}_n(A)$, $n\in{{\mathbb{Z}}}$, and similarly for ${\mathrm{KK}}^{G{\mathbin{\ltimes}}X}_*(A,B)$. We usually omit the subscript $0$, that is, ${\mathrm{K}}(A){\mathrel{:=}}{\mathrm{K}}_0(A)$, etc..

The *$G{\mathbin{\ltimes}}X$[-]{}equivariant Kasparov category* is the additive category whose objects are the $G{\mathbin{\ltimes}}X$-$C^*$[-]{}algebras and whose group of morphisms $A\to B$ is ${\mathrm{KK}}^{G{\mathbin{\ltimes}}X}_0(A,B)$; the composition is the Kasparov product. We denote this category by ${\mathrm{KK}}^{G{\mathbin{\ltimes}}X}$.

The notion of equivalence for $G{\mathbin{\ltimes}}X$-$C^*$-algebras that we encounter most frequently is ${\mathrm{KK}}$-equivalence, that is, isomorphism in ${\mathrm{KK}}^{G{\mathbin{\ltimes}}X}$, which we simply denote by “$\cong$”. Sometimes we may want to stress that two $G{\mathbin{\ltimes}}X$-$C^*$-algebras are more than just ${\mathrm{KK}}$[-]{}equivalent. We write $A\approx B$ if $A$ and $B$ are isomorphic as $G{\mathbin{\ltimes}}X$-$C^*$-algebras and $A\sim_M B$ if $A$ and $B$ are $G{\mathbin{\ltimes}}X$-equivariantly Morita-Rieffel equivalent. Both relations imply $A\cong B$.

Triangulated categories of operator algebras {#sec:triangulated_categories}
============================================

In this section, we
it by $ { \mathrm{KK}}^{G{\mathbin{\ltimes}}X}_*(A, B)$. For several purposes, it is useful to generalise from group to groupoids. However, we do not regale arbitrary groupoids because it is not so clear what should correspond to the compendious subgroups in this case. We work with transformation group throughout because this generalisation is not more difficult than the group event and useful for several application. 

 We write $ { \mathrm{K}}_*(A)$ for the graded Abelian group $ n\mapsto { \mathrm{K}}_n(A)$, $ n\in{{\mathbb{Z}}}$, and similarly for $ { \mathrm{KK}}^{G{\mathbin{\ltimes}}X}_*(A, B)$. We normally omit the subscript   $ 0 $, that is, $ { \mathrm{K}}(A){\mathrel{:=}}{\mathrm{K}}_0(A)$, etc.. 

 The * $ G{\mathbin{\ltimes}}X$[-]{}equivariant Kasparov category * is the additive category whose objects are the $ G{\mathbin{\ltimes}}X$-$C^*$[-]{}algebras and whose group of morphisms $ A\to B$ is $ { \mathrm{KK}}^{G{\mathbin{\ltimes}}X}_0(A, B)$; the composition is the Kasparov product. We announce this category by $ { \mathrm{KK}}^{G{\mathbin{\ltimes}}X}$. 

 The notion of equivalence for $ G{\mathbin{\ltimes}}X$-$C^*$-algebras that we find most frequently is $ { \mathrm{KK}}$-equivalence, that is, isomorphism in $ { \mathrm{KK}}^{G{\mathbin{\ltimes}}X}$, which we simply announce by “ $ \cong$ ”. Sometimes we may want to try that two $ G{\mathbin{\ltimes}}X$-$C^*$-algebras are more than just $ { \mathrm{KK}}$[-]{}equivalent. We write $ A\approx B$ if $ A$ and   $ B$ are isomorphic as $ G{\mathbin{\ltimes}}X$-$C^*$-algebras and $ A\sim_M B$ if $ A$ and   $ B$ are $ G{\mathbin{\ltimes}}X$-equivariantly Morita - Rieffel equivalent. Both relations imply $ A\cong B$. 

 Triangulated class of operator algebras { # sec: triangulated_categories } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 In this section, we
 it by ${\mathrm{KK}}^{G{\mathbin{\ltimts}}X}_*(A,B)$. For several purposxs, it ia useful to generalise from groups tl troupiids. However, we do not treat arhitrary troukoids because it ma not so clead whac whould corresppnd to the compact subgrmuos in this case. We work with transforiation brlups throughouj becstse fhis generalisation is not more dirficult than the groip case and useful for sevfral applications.

We wrlte ${\mathrm{K}}_*(Q)$ fow the graded Xbelian group $n\mapsto {\jathrm{K}}_n(A)$, $n\in{{\mathbb{Z}}}$, and similafly fpr ${\mathrm{KJ}}^{G{\natjtin{\ltimes}}X}_*(A,U)$. We ufually omit bne subvcript $0$, yhat is, ${\mathrm{L}}(A){\methrwl{:=}}{\mathrm{K}}_0(A)$, etc..

The *$G{\mavhbin{\ltimes}}X$[-]{}equivariwnt Kaspasor category* is the addutuve cdtegmry dyosd ogjxcta are hhe $G{\mathbin{\lfimes}}X$-$C^*$[-]{}algevras and whose grouk os morphisms $A\tk B$ is ${\mwthrm{KK}}^{G{\mathbin{\ltimes}}X}_0(A,B)$; the compositiot ia the Kasparov product. Qe denote this categoty by ${\mathwm{KK}}^{G{\mathbin{\ltimes}}X}$.

The notion of equivalence for $C{\mathuiv{\ltnnes}}X$-$C^*$-xogfbras that we encounter most frequently is ${\maegrk{KL}}$-equivalence, tmat is, isomorphism ij ${\kwthrm{KK}}^{G{\mathbkn{\ltimza}}X}$, which we simply dfnote bi “$\cong$”. Sometimef we may want to stress that twi $G{\mathbin{\ltpmes}}Z$-$C^*$-algebras are morz than just ${\oathtm{KK}}$[-]{}eqiivalent. We write $A\apprux B$ if $A$ and $B$ wre isomodohic as $G{\mathbin{\utikev}}X$-$C^*$-algebras and $A\sim_M B$ if $A$ and $B$ ace $G{\mcthbin{\ltkmes}}C$-equivwriantly Mlrita-Vheffel equivalent. Hoth telatimns imply $W\cong B$.

Triangulated categories of operator albetrav {#sec:tricngulabed_categories}
============================================

In this section, ce
it by ${\mathrm{KK}}^{G{\mathbin{\ltimes}}X}_*(A,B)$. For several purposes, it to from groups groupoids. However, we because is not so what should correspond the compact subgroups in this case. work with transformation groups throughout because this generalisation is not more difficult than group case and useful for several applications. We write ${\mathrm{K}}_*(A)$ for the graded group {\mathrm{K}}_n(A)$, and for ${\mathrm{KK}}^{G{\mathbin{\ltimes}}X}_*(A,B)$. We usually omit the subscript $0$, that is, ${\mathrm{K}}(A){\mathrel{:=}}{\mathrm{K}}_0(A)$, etc.. The *$G{\mathbin{\ltimes}}X$[-]{}equivariant Kasparov category* the additive category whose objects are the $G{\mathbin{\ltimes}}X$-$C^*$[-]{}algebras whose group of morphisms B$ is ${\mathrm{KK}}^{G{\mathbin{\ltimes}}X}_0(A,B)$; the composition the product. We this by The notion of for $G{\mathbin{\ltimes}}X$-$C^*$-algebras that we encounter most frequently is ${\mathrm{KK}}$-equivalence, that is, isomorphism in ${\mathrm{KK}}^{G{\mathbin{\ltimes}}X}$, which we simply by “$\cong$”. may want stress two are more than We write $A\approx B$ if $A$ isomorphic as $G{\mathbin{\ltimes}}X$-$C^*$-algebras and $A\sim_M B$ if $A$ $B$ are Morita-Rieffel equivalent. Both relations imply $A\cong Triangulated categories of operator algebras {#sec:triangulated_categories} ============================================ In section, we
 it by ${\mathrm{KK}}^{G{\mathbin{\ltimeS}}X}_*(A,B)$. For sevEral pUrpOseS, iT is uSefuL to generalise fROm grOups to groupoids. However, We do nOt TReat ARbItrarY groupoIDs BECauSe It Is nOt SO cLear wHat Should cOrrespond tO thE cOmpact subgroUPs In this case. we wOrk with transForMation GrOupS ThrouGhoUt becAuse thIS generAlisation Is NOt more DIfficulT THaN the Group case and usefuL FoR Several applicaTions.

WE wRItE ${\MAthRm{K}}_*(a)$ for the graDeD AbelIAn group $N\MaPSTO {\maTHrm{K}}_n(A)$, $n\in{{\mathBb{Z}}}$, and similARly For ${\matHrM{KK}}^{g{\MathbiN{\ltimEs}}x}_*(a,B)$. WE usually omiT the Subscript $0$, That is, ${\MAthrm{K}}(A){\MAthrel{:=}}{\mAthrm{K}}_0(a)$, etC..

ThE *$G{\maTHbIn{\LtiMeS}}x$[-]{}eqUIvAriANt KAsparov cAtEgOry* is The aDDITIve cAteGory Whose Objects are the $g{\maThbiN{\LtiMes}}X$-$C^*$[-]{}AlgebRas aNd Whose Group oF morpHiSms $A\to B$ is ${\mathrm{kK}}^{G{\mAthbin{\ltiMes}}x}_0(A,b)$; thE cOmposITion is The kasParov prOduct. We DEnoTe THIS cAtegory by ${\mathrm{KK}}^{G{\MaTHBiN{\ltimes}}X}$.

the notIOn Of EQuivalenCe For $g{\matHBIn{\ltiMes}}X$-$c^*$-AlGebras thAt we enCOuNtEr most fReQuentlY iS ${\maThrM{KK}}$-eqUIvalEnce, thAt is, isomOrphiSM in ${\mathrm{KK}}^{G{\maTHbin{\ltimes}}X}$, whICh WE SiMPly dEnoTe by “$\cong$”. SomEtimES we mAy waNT tO stREss thAt two $g{\mAThBIn{\ltimes}}X$-$C^*$-algebras aRe More thAn jusT ${\mathrm{KK}}$[-]{}equiValent. We wrITE $a\approx B$ If $A$ aND $B$ ARe isomorphic as $g{\mathBin{\ltimes}}X$-$c^*$-Algebras And $A\sIm_M B$ if $A$ aNd $B$ are $G{\maTHBin{\ltimeS}}X$-eQuiVarIanTLY MOrita-Rieffel eQUIvalEnT. Both reLatIons impLy $A\ConG B$.

TRiaNgUlated catEgories oF oPeRaToR alGebraS {#Sec:trianGuLatEd_CatEgoriES}
============================================

In thiS sectIon, wE
 it by ${\mathrm{KK}}^{G{\ mathbin{\l times }}X }_* (A ,B)$ . Fo r several purp o ses,  it is useful to gener alise  f r om g r ou ps to  groupo i ds . How ev er , w ed onot t rea t arbit rary group oid sbecause it i s  n ot so clea r w hat should c orr espond  t o t h e com pac t sub groups in thi s case. W ew ork wi t h trans f o rm atio n groups througho u tb ecause this ge nerali sa t io n isnot  more diff ic ult t h an theg ro u p cas e  and useful f or severala ppl icatio ns .
W e writ e ${\ ma t hrm {K}}_*(A)$forthe grade d Abel i an grou p  $n\map sto {\ mat hrm {K}} _ n( A) $,$n \ in{ { \m ath b b{Z }}}$, an dsi milar ly f o r $ {\ma thr m{KK }}^{G {\mathbin{\lt ime s}}X } _*( A,B)$ . Weusua ll y omi t thesubsc ri pt $0$, that is , ${ \mathrm{K }}( A) {\m at hrel{ : =}}{\m ath rm{ K}}_0(A )$, etc . .
Th e * $G {\mathbin{\ltimes} }X $ [ -] {}equiva riantK as pa r ov categ or y*is t h e  addi tive ca tegory w hose o b je ct s are t he  $G{\m at hbi n{\ ltime s }}X$ -$C^*$ [-]{}alg ebras and whose grou p  of morphisms $A \ t oB $ is  ${ \mathrm{KK} }^{G { \mat hbin { \l tim e s}}X} _0(A, B) $ ;t he composition is t he  Kaspa rov p roduct. We de note thisc a t egory by  ${\ m at h rm{KK}}^{G{\ma thbin {\ltimes}} X }$.

The  noti on of eq uivalence f or $G{\m ath bin {\l tim e s }} X$-$C^*$-alge b r as t ha t we en cou nter mo stfre que ntl yis ${\mat hrm{KK}} $- eq ui va len ce, t h at is, i so mor ph ism  in $ { \mathr m{KK} }^{G {\ ma t hbi n{\ltim e s} } X }$,wh ic h we  si mp ly de note by“$\cong $”. Somet ime s  wema ywant to  stress thattw o $G{\math bi n{\ ltimes } } X$-$C^*$ -algebras are more than just ${ \ma thrm{ KK}} $[-]{}equ iva lent.Wew rite $ A\appr ox B$  i f $ A $  and$ B $are  i somorphica s  $G {\mat hb in{\ ltimes} }X$-$C^*$-algebras and  $A\sim_M B$if$A$a n d$B$ ar e  $G {\ m ath b i n{\ltimes}}X$-e quivariant ly Mo rita-Rieff e l e qu ivalent . Bothrelat i ons imp ly $A\con g B$.

Tr ia ngul a t edcategories  of oper ator alge b ras { # se c:tri ang ulated _c ate gorie s}
=== = === ===== ====== == ====== ===== == ======== ===

In this section, w e
 it_by ${\mathrm{KK}}^{G{\mathbin{\ltimes}}X}_*(A,B)$._For several purposes, it_is useful_to_generalise from_groups_to groupoids. However,_we do not_treat arbitrary groupoids because_it is not_so_clear what should correspond to the compact subgroups in this case. We work with_transformation_groups throughout_because_this_generalisation is not more difficult_than the group case and_useful for_several applications.

We write ${\mathrm{K}}_*(A)$ for the graded Abelian_group_$n\mapsto {\mathrm{K}}_n(A)$, $n\in{{\mathbb{Z}}}$,_and similarly for ${\mathrm{KK}}^{G{\mathbin{\ltimes}}X}_*(A,B)$. We usually omit the subscript $0$,_that is, ${\mathrm{K}}(A){\mathrel{:=}}{\mathrm{K}}_0(A)$, etc..

The *$G{\mathbin{\ltimes}}X$[-]{}equivariant Kasparov_category* is the_additive_category_whose objects are the_$G{\mathbin{\ltimes}}X$-$C^*$[-]{}algebras and whose group of morphisms_$A\to B$ is ${\mathrm{KK}}^{G{\mathbin{\ltimes}}X}_0(A,B)$; the composition_is the Kasparov product. We denote this_category by ${\mathrm{KK}}^{G{\mathbin{\ltimes}}X}$.

The notion of equivalence_for $G{\mathbin{\ltimes}}X$-$C^*$-algebras that we encounter_most frequently_is ${\mathrm{KK}}$-equivalence, that is, isomorphism_in ${\mathrm{KK}}^{G{\mathbin{\ltimes}}X}$, which_we simply_denote by “$\cong$”._Sometimes we may want to stress_that two $G{\mathbin{\ltimes}}X$-$C^*$-algebras_are more than just ${\mathrm{KK}}$[-]{}equivalent. We_write_$A\approx B$ if_$A$_and $B$_are isomorphic_as $G{\mathbin{\ltimes}}X$-$C^*$-algebras and_$A\sim_M_B$ if_$A$_and $B$ are $G{\mathbin{\ltimes}}X$-equivariantly Morita-Rieffel equivalent. Both_relations_imply $A\cong B$.

Triangulated categories of operator algebras_{#sec:triangulated_categories}
============================================

In this section, we