}_L}({\mathsf{Stab}_L}({\mathsf{Abs}_L}(\Upsilon))).$$ Dually, we have ${\mathsf{Stab}_R}$ and ${\mathsf{Abs}_R}$.

\[prop:ptd-comm\] can now be restated by saying that ${\mathsf{Stab}_L}(\{\emptyset\})$ and ${\mathsf{Stab}_R}(\{\emptyset\})$ are the collection $\mathsf{POINT}$ of pointed derivators, while ${\mathsf{Abs}_L}(\mathsf{POINT})$ contains all cosieves and ${\mathsf{Abs}_R}(\mathsf{POINT})$ contains all sieves. In particular, $\mathsf{POINT}$ is a fixed point of both Galois correspondences. Similarly, \[thm:stable-lim-III\] can be restated by saying that ${\mathsf{Stab}_L}(\mathsf{FIN})$ and ${\mathsf{Stab}_R}(\mathsf{FIN})$, for $\mathsf{FIN}$ the class of homotopy finite categories, are both the collection $\mathsf{STABLE}$ of stable derivators; while ${\mathsf{Abs}_L}(\mathsf{STABLE})$ contains all left homotopy finite functors and ${\mathsf{Abs}_R}(\mathsf{STABLE})$ contains all right homotopy finite functors.

The cone functor $C\colon{\sD}^{[1]} \to {\sD}$ is not a colimit (though it is a weighted colimit, in the sense to be defined in \[con:wcolim\], for a suitable enrichment), so we cannot consider “${\mathsf{Stab}_L}(\{C\})$”. However, if the pushout functor ${\sD}^{\ulcorner} \to {\sD}$ is continuous, then so is $C$, since $C$ is the composite of a pushout, a right Kan extension, and an evaluation morphism. Thus, we can say that $\mathsf{STABLE} = {\mathsf{Stab}_L}(\{\emptyset,\ulcorner\})$ and similarly $\mathsf{STABLE} = {\mathsf{Stab}_R}(\{\emptyset,\lrcorner\})$.

Of course, ${\mathsf{Stab}_L}(\emptyset)$ and ${\mathsf{Stab}_R}(\emptyset)$ are the collection $\mathsf{DERIV}$ of all derivators, while ${\mathsf{Abs}_L}(\emptyset)$ and ${\mathsf{Abs}_R}(\emptyset)$ are the class $\mathsf{FUNC}$ of all functors. However,
} _ L}({\mathsf{Stab}_L}({\mathsf{Abs}_L}(\Upsilon))).$$ Dually, we have $ { \mathsf{Stab}_R}$ and $ { \mathsf{Abs}_R}$. 

 \[prop: ptd - comm\ ] can now be restated by saying that $ { \mathsf{Stab}_L}(\{\emptyset\})$ and $ { \mathsf{Stab}_R}(\{\emptyset\})$ are the solicitation $ \mathsf{POINT}$ of pointed derivators, while $ { \mathsf{Abs}_L}(\mathsf{POINT})$ control all cosieves and $ { \mathsf{Abs}_R}(\mathsf{POINT})$ contains all sieves. In especial, $ \mathsf{POINT}$ is a fasten point of both Galois correspondences. Similarly, \[thm: static - lim - III\ ] can be restated by saying that $ { \mathsf{Stab}_L}(\mathsf{FIN})$ and $ { \mathsf{Stab}_R}(\mathsf{FIN})$, for $ \mathsf{FIN}$ the class of homotopy finite class, are both the collection $ \mathsf{STABLE}$ of stable derivators; while $ { \mathsf{Abs}_L}(\mathsf{STABLE})$ contain all left homotopy finite functors and $ { \mathsf{Abs}_R}(\mathsf{STABLE})$ contains all veracious homotopy finite functors. 

 The cone functor $ C\colon{\sD}^{[1 ] } \to { \sD}$ is not a colimit (though it is a leaden colimit, in the sense to be defined in \[con: wcolim\ ], for a desirable enrichment), so we cannot study “ $ { \mathsf{Stab}_L}(\{C\})$ ”. However, if the pushout functor $ { \sD}^{\ulcorner } \to { \sD}$ is continuous, then so is $ C$, since $ C$ is the composite of a pushout, a right Kan extension, and an evaluation morphism. therefore, we can say that $ \mathsf{STABLE } = { \mathsf{Stab}_L}(\{\emptyset,\ulcorner\})$ and similarly $ \mathsf{STABLE } = { \mathsf{Stab}_R}(\{\emptyset,\lrcorner\})$. 

 Of course, $ { \mathsf{Stab}_L}(\emptyset)$ and $ { \mathsf{Stab}_R}(\emptyset)$ are the solicitation $ \mathsf{DERIV}$ of all derivators, while $ { \mathsf{Abs}_L}(\emptyset)$ and $ { \mathsf{Abs}_R}(\emptyset)$ are the class $ \mathsf{FUNC}$ of all functors. However,
}_L}({\mahhsf{Stab}_L}({\mathsf{Abs}_L}(\Upsilun))).$$ Dually, we harw ${\mathvf{Stab}_D}$ and ${\maghsf{Abs}_R}$.

\[prop:ptd-comm\] can now ue rwstattb by saying that ${\matfsf{Stab}_L}(\{\elptyset\})$ qnd ${\nqthsf{Stab}_R}(\{\xjptyset\})$ are tgc colnxction $\mathsf{POLNT}$ of poinded derivators, wfipe ${\mathsf{Abs}_L}(\mathsf{POINT})$ contains ajl cosirvfs and ${\mathsf{Afs}_R}(\msehsf{LOINT})$ contains all sieves. In partidular, $\methsf{POINT}$ is a fixed point of both Galoid cogrespondences. Simiparly, \[thm:stqble-jum-III\] can be restated by saying thzt ${\mathsf{Stab}_L}(\mathsf{FIN})$ and ${\matfsf{Stcb}_R}(\mathsf{FIB})$, dor $\kathsf{FIN}$ tie clafs of homotoij finita categpries, are both thx coolection $\mathsf{STABLE}$ of stable derivatjrs; while ${\mcthsf{Abs}_L}(\mathsf{STABLE})$ cintaits anl lddt fomktppg finihe hunctors ans ${\mathsf{Abs}_E}(\mathsf{STABLE})$ contaonf all right hojotopy fynite functors.

The cone functor $C\colon{\sD}^{[1]} \to {\sD}$ is not a colimit (thiugh it is a weighted colimit, yn the sense to be defined in \[con:wcolim\], for a suidable dnrngmmeng), sl we cannot consider “${\mathsf{Stab}_L}(\{C\})$”. However, if ege plshout functor ${\sD}^{\mlcorner} \to {\sD}$ is vojtoguous, then so is $C$, sinde $C$ is the composlte of w pusyout, a ridht Lan extension, and an evaluarion morphisi. Thus, we can say tkat $\mathsf{STCBLE} = {\kathsg{Stab}_L}(\{\emptyset,\ulcorner\})$ cnd sijilarly $\matjsf{STABLE} = {\mathsf{Stab}_R}(\{\empthsen,\lrcmrner\})$.

Of course, ${\mathsf{Stab}_L}(\qmptyset)$ end ${\mcthsf{Stac}_R}(\emktyset)$ wre the coplectlmn $\mathsf{DERIV}$ of wll dgrivatmrs, while ${\lathsf{Abs}_L}(\emptyset)$ and ${\mathsf{Abs}_R}(\emptyset)$ are tve blass $\matksf{FUNG}$ of all functows. However,
}_L}({\mathsf{Stab}_L}({\mathsf{Abs}_L}(\Upsilon))).$$ Dually, we have ${\mathsf{Stab}_R}$ and ${\mathsf{Abs}_R}$. now restated by that ${\mathsf{Stab}_L}(\{\emptyset\})$ and of derivators, while ${\mathsf{Abs}_L}(\mathsf{POINT})$ all cosieves and contains all sieves. In particular, $\mathsf{POINT}$ a fixed point of both Galois correspondences. Similarly, \[thm:stable-lim-III\] can be restated by that ${\mathsf{Stab}_L}(\mathsf{FIN})$ and ${\mathsf{Stab}_R}(\mathsf{FIN})$, for $\mathsf{FIN}$ the class of homotopy finite categories, are the $\mathsf{STABLE}$ stable while ${\mathsf{Abs}_L}(\mathsf{STABLE})$ contains all left homotopy finite functors and ${\mathsf{Abs}_R}(\mathsf{STABLE})$ contains all right homotopy finite functors. cone functor $C\colon{\sD}^{[1]} \to {\sD}$ is not a (though it is a colimit, in the sense to defined \[con:wcolim\], for suitable so cannot consider “${\mathsf{Stab}_L}(\{C\})$”. if the pushout functor ${\sD}^{\ulcorner} \to {\sD}$ is continuous, then so is $C$, since $C$ is the of a right Kan and evaluation Thus, we can $\mathsf{STABLE} = {\mathsf{Stab}_L}(\{\emptyset,\ulcorner\})$ and similarly $\mathsf{STABLE} course, ${\mathsf{Stab}_L}(\emptyset)$ and ${\mathsf{Stab}_R}(\emptyset)$ are the collection $\mathsf{DERIV}$ all derivators, ${\mathsf{Abs}_L}(\emptyset)$ and ${\mathsf{Abs}_R}(\emptyset)$ are the class of all functors. However,
}_L}({\mathsf{Stab}_L}({\mathsf{Abs}_L}(\UpsIlon))).$$ Dually, We havE ${\maThsF{STab}_R}$ And ${\mAthsf{Abs}_R}$.

\[prop:pTD-comM\] can now be restated by sayIng thAt ${\MAthsF{stAb}_L}(\{\emPtyset\})$ aND ${\mATHsf{stAb}_r}(\{\emPtYSeT\})$ are tHe cOllectiOn $\mathsf{POiNT}$ Of Pointed derivAToRs, while ${\matHsf{abs}_L}(\mathsf{POiNT})$ ContaiNs All COsievEs aNd ${\matHsf{Abs}_r}(\Mathsf{pOINT})$ contAiNS all siEVes. In paRTIcUlar, $\Mathsf{POINT}$ is a fixED pOInt of both GaloiS correSpONdENCes. simIlarly, \[thm:sTaBle-liM-iII\] can bE ReSTATed BY saying that ${\maThsf{Stab}_L}(\maTHsf{fIN})$ and ${\MaThsF{stab}_R}(\mAthsf{fIn})$, For $\Mathsf{FIN}$ thE claSs of homotOpy finITe categORies, are Both thE coLleCtioN $\MaThSf{StAblE}$ oF StAblE DerIvators; wHiLe ${\MathsF{Abs}_l}(\MATHsf{StABlE})$ coNtainS all left homotOpy FiniTE fuNctorS and ${\mAthsF{ABs}_R}(\maThsf{STaBLE})$ cOnTains all right hoMotoPy finite fUncToRs.

THe Cone fUNctor $C\ColOn{\sd}^{[1]} \to {\sD}$ is Not a colIMit (ThOUGH iT is a weighted colimiT, iN THe Sense to bE definED iN \[cON:wcolim\], fOr A suItabLE EnricHmenT), So We cannot ConsidER “${\mAtHsf{Stab}_l}(\{C\})$”. howeveR, iF thE puShout FUnctOr ${\sD}^{\ulCorner} \to {\SD}$ is cONtinuous, then so IS $C$, since $C$ is the COmPOSiTE of a PusHout, a right KAn exTEnsiOn, anD An EvaLUatioN morpHiSM. THUs, we can say that $\mathsF{StABLE} = {\mAthsf{stab}_L}(\{\emptyset,\Ulcorner\})$ anD SIMilarly $\mAthsF{sTabLE} = {\mathsf{Stab}_R}(\{\EmptySet,\lrcorneR\})$.

of course, ${\MathsF{Stab}_L}(\emPtyset)$ and ${\MAThsf{Stab}_r}(\emPtySet)$ Are THE cOllection $\mathSF{dERIv}$ oF all derIvaTors, whiLe ${\mAthSf{ABs}_L}(\EmPtyset)$ and ${\Mathsf{AbS}_R}(\EmPtYsEt)$ aRe the CLass $\mathSf{fUNc}$ oF alL funcTOrs. HowEver,
}_L}({\mathsf{Stab}_L}({\m athsf{Abs} _L}(\ Ups ilo n) )).$ $ Du ally, we have$ {\ma thsf{Stab}_R}$ and ${\ maths f{ A bs}_ R }$ .

\[ prop:pt d -c o m m\]  c an  no wb eresta ted  by say ing that $ {\m at hsf{Stab}_L} ( \{ \emptyset\ })$  and ${\math sf{ Stab}_ R} (\{ \ empty set \})$are th e  colle ction $\m at h sf{POI N T}$ ofp o in tedderivators, while ${ \ mathsf{Abs}_L} (\math sf { PO I N T}) $ c ontains al lcosie v es and$ {\ m a t hsf { Abs}_R}(\math sf{POINT})$ con tainsal l s i eves.In pa rt i cul ar, $\maths f{PO INT}$ isa fixe d  pointo f bothGalois  co rre spon d en ce s.Si m ila r ly , \ [ thm :stable- li m- III\]  can b e rest ate d by  sayi ng that ${\ma ths f{St a b}_ L}(\m athsf {FIN }) $ and  ${\ma thsf{ St ab}_R}(\mathsf{ FIN} )$, for $ \ma th sf{ FI N}$ t h e clas s o f h omotopy  finite cat eg o r i es , are both the col le c t io n $\math sf{STA B LE }$ of stabl eder ivat o r s; wh ile$ {\ mathsf{A bs}_L} ( \m at hsf{STA BL E})$ c on tai nsall l e ft h omotop y finite  func t ors and ${\mat h sf{Abs}_R}(\m a th s f {S T ABLE })$  contains a ll r i ghthomo t op y f i nitefunct or s .The cone functor $C \c olon{\ sD}^{ [1]} \to {\sD }$ is nota c olimit ( thou g hi t is a weighte d col imit, in t h e senseto be  defined  in \[con : w colim\],  fo r a  su ita b l eenrichment),s o  weca nnot co nsi der “${ \ma ths f{S tab }_ L}(\{C\}) $”. Howe ve r,  i fthe  push o ut funct or  ${ \s D}^ {\ulc o rner}\to { \sD} $is con tinuous ,  t h e n so  i s$C$,  si nc e $C$  ist hecomposi te of a p ush o ut,ari ght Kan  extension, a nd  an evalua ti onmorphi s m . Thus,we can say that $\maths f {STABLE } =  {\ma thsf {Stab}_L} (\{ \empty set , \ulcor ner\}) $ and  s imi l a rly $ \ m at hsf {S TABLE} = { \ m ath sf{St ab }_R} (\{\emp tyset,\lrcorner\}) $ .
Of course, ${ \ma thsf { S ta b}_ L }( \ emp ty s et) $ and ${\mathsf{S tab}_R}(\e mp t ys et)$ are t h e c ol lection  $\math sf{DE R IV}$ of  all deri vators, w hi le $ { \ mat hsf{Abs}_L }(\empty set)$ and ${\ma t hs f{Abs }_R }(\emp ty set )$ ar e thec las s $\m athsf{ FU NC}$ o f all  f unctors.  However,
}_L}({\mathsf{Stab}_L}({\mathsf{Abs}_L}(\Upsilon))).$$ Dually,_we have_${\mathsf{Stab}_R}$ and ${\mathsf{Abs}_R}$.

\[prop:ptd-comm\] can_now be_restated_by saying_that_${\mathsf{Stab}_L}(\{\emptyset\})$ and ${\mathsf{Stab}_R}(\{\emptyset\})$_are the collection_$\mathsf{POINT}$ of pointed derivators,_while ${\mathsf{Abs}_L}(\mathsf{POINT})$ contains_all_cosieves and ${\mathsf{Abs}_R}(\mathsf{POINT})$ contains all sieves. In particular, $\mathsf{POINT}$ is a fixed point of_both_Galois correspondences._Similarly,_\[thm:stable-lim-III\]_can be restated by saying_that ${\mathsf{Stab}_L}(\mathsf{FIN})$ and ${\mathsf{Stab}_R}(\mathsf{FIN})$, for_$\mathsf{FIN}$ the_class of homotopy finite categories, are both the_collection_$\mathsf{STABLE}$ of stable_derivators; while ${\mathsf{Abs}_L}(\mathsf{STABLE})$ contains all left homotopy finite functors_and ${\mathsf{Abs}_R}(\mathsf{STABLE})$ contains all right homotopy_finite functors.

The cone_functor_$C\colon{\sD}^{[1]}_\to {\sD}$ is not_a colimit (though it is a_weighted colimit, in the sense to_be defined in \[con:wcolim\], for a suitable_enrichment), so we cannot consider “${\mathsf{Stab}_L}(\{C\})$”._However, if the pushout functor_${\sD}^{\ulcorner} \to_{\sD}$ is continuous, then so_is $C$, since_$C$ is_the composite of_a pushout, a right Kan extension,_and an evaluation_morphism. Thus, we can say that_$\mathsf{STABLE}_= {\mathsf{Stab}_L}(\{\emptyset,\ulcorner\})$ and_similarly_$\mathsf{STABLE}_= {\mathsf{Stab}_R}(\{\emptyset,\lrcorner\})$.

Of_course, ${\mathsf{Stab}_L}(\emptyset)$ and_${\mathsf{Stab}_R}(\emptyset)$_are the_collection_$\mathsf{DERIV}$ of all derivators, while ${\mathsf{Abs}_L}(\emptyset)$_and_${\mathsf{Abs}_R}(\emptyset)$ are the class $\mathsf{FUNC}$ of all_functors. However,