 \operatorname*{\mathbf{D}}(\operatorname*{Mod-R}^I) \rightarrow \operatorname*{\mathbf{D}}(R)$ to be the left derived functor $\mathbf{L}\operatorname*{colim}_{i \in I}$ of the usual colimit functor $\operatorname*{colim}_{i \in I}: \operatorname*{Mod-R}^I \rightarrow \operatorname*{Mod-R}$. Dually, we define the [homotopy limit]{} functor as $\operatorname*{holim}_{i \in I} := \mathbf{R} \lim_{i \in I}: \operatorname*{\mathbf{D}}(\operatorname*{Mod-R}^I) \rightarrow \operatorname*{\mathbf{D}}(R)$.

The objects of $\operatorname*{\mathbf{D}}(\operatorname*{Mod-R}^I)$, that is, the coherent diagrams of shape $I$, are all represented by diagrams of chain complexes of $R$-modules. Let $\mathscr{X} \in \operatorname*{\mathbf{D}}(\operatorname*{Mod-R}^I)$ be represented by a diagram $(X_i \mid i \in I)$ of chain complexes. Then clearly, $\mathscr{X}_i \simeq X_i$ as objects of $\operatorname*{\mathbf{D}}(R)$ for any $i \in I$.

We will be especially interested in the homotopy colimit construction in the case when the small category $I$ is directed. In this situation, we call $\operatorname*{hocolim}_{i \in I}$ a [directed homotopy colimit]{}. Because the direct limit functor $\varinjlim_{i \in I} = \operatorname*{colim}_{i \in I}$ on the category of chain complexes of $R$-modules is exact, we have for each object $\mathscr{X} \in \operatorname*{\mathbf{D}}(\operatorname*{Mod-R}^I)$, represented by a diagram $(X_i \mid i \in I)$ of chain complexes, the isomorphism $\operatorname*{hocolim}_{i \in I} \mathscr{X} \simeq \varinjlim_{i \in I} X_i$ in $\operatorname*{\mathbf{D}}(R)$. In particular, we have for any $n \in \mathbb{Z}$ the following isomorphism on cohomologies $$H^n(\operatorname*{hocolim}_{i \in I} \mathscr{X}) \simeq \varinjlim_{
\operatorname*{\mathbf{D}}(\operatorname*{Mod - R}^I) \rightarrow \operatorname*{\mathbf{D}}(R)$ to be the left derived functor $ \mathbf{L}\operatorname*{colim}_{i \in I}$ of the usual colimit functor $ \operatorname*{colim}_{i \in I }: \operatorname*{Mod - R}^I \rightarrow \operatorname*{Mod - R}$. Dually, we specify the [ homotopy terminus ad quem ] { } functor as $ \operatorname*{holim}_{i \in I }: = \mathbf{R } \lim_{i \in I }: \operatorname*{\mathbf{D}}(\operatorname*{Mod - R}^I) \rightarrow \operatorname*{\mathbf{D}}(R)$. 

 The objects of $ \operatorname*{\mathbf{D}}(\operatorname*{Mod - R}^I)$, that is, the coherent diagram of shape $ I$, are all defend by diagrams of chain complex of $ R$-modules. Let $ \mathscr{X } \in \operatorname*{\mathbf{D}}(\operatorname*{Mod - R}^I)$ be represented by a diagram $ (X_i \mid i \in I)$ of range complex. Then clearly, $ \mathscr{X}_i \simeq X_i$ as object of $ \operatorname*{\mathbf{D}}(R)$ for any $ i \in I$. 

 We will be especially interested in the homotopy colimit structure in the case when the small category $ I$ is directed. In this situation, we call $ \operatorname*{hocolim}_{i \in I}$ a [ directed homotopy colimit ] { }. Because the lineal limit functor $ \varinjlim_{i \in I } = \operatorname*{colim}_{i \in I}$ on the category of chain complex of $ R$-modules is exact, we have for each aim $ \mathscr{X } \in \operatorname*{\mathbf{D}}(\operatorname*{Mod - R}^I)$, represented by a diagram $ (X_i \mid i \in I)$ of range complexes, the isomorphism $ \operatorname*{hocolim}_{i \in I } \mathscr{X } \simeq \varinjlim_{i \in I } X_i$ in $ \operatorname*{\mathbf{D}}(R)$. In particular, we have for any $ n \in \mathbb{Z}$ the following isomorphism on cohomologies $ $ H^n(\operatorname*{hocolim}_{i \in I } \mathscr{X }) \simeq \varinjlim _ {
 \opfratorname*{\mathbf{D}}(\operatovname*{Mod-R}^I) \rightcerow \o'eratorhame*{\mathcf{D}}(R)$ to be the left derived huncror $\mqthbf{L}\operatorname*{colio}_{i \in I}$ ov the usyal rolimit functor $\operatorkcme*{comlm}_{i \iu M}: \operatorname*{Mpd-R}^I \rightdrrow \operatortaoe*{Lod-R}$. Dually, we define the [homotopy jimit]{} finftor as $\operatjrnakq*{holjm}_{i \in I} := \mathbf{R} \lim_{i \in I}: \operatkrname*{\methbf{D}}(\operatornsme*{Mod-R}^I) \rightarrow \operatlrnale*{\mathbf{D}}(R)$.

The objefts of $\operqtorgqme*{\mathbf{D}}(\opdratorname*{Mod-R}^I)$, that ia, the coherent diagrams of shapd $I$, axe all reprgssnhgd by diagrans of chain complcqes of $S$-modulex. Let $\mathscr{X} \in \opwratorname*{\mathbf{D}}(\operetorname*{Mod-R}^I)$ be reptesented bf c diagram $(X_i \mid i \in I)$ of cvain comooexds. Uhei cmearly, $\mavhscr{X}_i \simsq X_i$ as obhects of $\operatornake*{\iqthbf{D}}(R)$ for ahy $i \ig Y$.

We will be especially interested in tht homktopy colimit constructuon in the case when jhe small sategory $I$ is directed. In this situation, we call $\mperavofnane*{mocouum}_{l \in I}$ a [directed homotopy colimit]{}. Because thq dorvct limit functor $\varinjlim_{i \ij O} = \operatornamg*{colim}_{i \in I}$ on the category of chayn conplexes os $R$-mpdules is exact, we have for each object $\nathscr{X} \in \operatlrname*{\mathby{D}}(\operstornsme*{Mod-R}^I)$, represented by a djagram $(X_i \mld i \in I)$ uf chain complexds, nhe hsomorphism $\operatorname*{hosolim}_{i \in I} \mcthscr{X} \rimea \varigjlim_{i \in L} X_i$ lt $\operatorname*{\mathhf{D}}(R)$. Nn pasticular, wf have for any $n \in \mathbb{Z}$ the following isokosphpsm on cokomolonies $$H^n(\operatorgame*{hocolim}_{i \iu I} \mathfcr{X}) \rimeq \varihjlim_{
\operatorname*{\mathbf{D}}(\operatorname*{Mod-R}^I) \rightarrow \operatorname*{\mathbf{D}}(R)$ to be the left $\mathbf{L}\operatorname*{colim}_{i I}$ of usual colimit functor \operatorname*{Mod-R}$. we define the limit]{} functor as \in I} := \mathbf{R} \lim_{i \in \operatorname*{\mathbf{D}}(\operatorname*{Mod-R}^I) \rightarrow \operatorname*{\mathbf{D}}(R)$. The objects of $\operatorname*{\mathbf{D}}(\operatorname*{Mod-R}^I)$, that is, the coherent diagrams of $I$, are all represented by diagrams of chain complexes of $R$-modules. Let $\mathscr{X} \operatorname*{\mathbf{D}}(\operatorname*{Mod-R}^I)$ represented a $(X_i \mid i \in I)$ of chain complexes. Then clearly, $\mathscr{X}_i \simeq X_i$ as objects of for any $i \in I$. We will be interested in the homotopy construction in the case when small $I$ is In situation, call $\operatorname*{hocolim}_{i \in a [directed homotopy colimit]{}. Because the direct limit functor $\varinjlim_{i \in I} = \operatorname*{colim}_{i \in I}$ on category of of $R$-modules exact, have each object $\mathscr{X} represented by a diagram $(X_i \mid of chain complexes, the isomorphism $\operatorname*{hocolim}_{i \in I} \simeq \varinjlim_{i I} X_i$ in $\operatorname*{\mathbf{D}}(R)$. In particular, have for any $n \in \mathbb{Z}$ the following on cohomologies $$H^n(\operatorname*{hocolim}_{i \in I} \mathscr{X}) \simeq \varinjlim_{
 \operatorname*{\mathbf{D}}(\operatOrname*{Mod-R}^i) \righTarRow \OpEratOrnaMe*{\mathbf{D}}(R)$ to be THe leFt derived functor $\mathbf{l}\operAtORnamE*{CoLim}_{i \iN I}$ of the USuAL ColImIt FunCtOR $\oPeratOrnAme*{coliM}_{i \in I}: \operaTorNaMe*{Mod-R}^I \rightARrOw \operatorNamE*{Mod-R}$. Dually, wE deFine thE [hOmoTOpy liMit]{} FunctOr as $\opERatornAme*{holim}_{i \In i} := \Mathbf{r} \Lim_{i \in I}: \OPErAtorName*{\mathbf{D}}(\operatORnAMe*{Mod-R}^I) \rightarRow \opeRaTOrNAMe*{\mAthBf{D}}(R)$.

The objEcTs of $\oPEratornAMe*{\MATHbf{d}}(\Operatorname*{MOd-R}^I)$, that is, tHE coHerent DiAgrAMs of shApe $I$, aRe ALl rEpresented bY diaGrams of chAin comPLexes of $r$-Modules. let $\matHscR{X} \iN \opeRAtOrNamE*{\mAThbF{d}}(\oPerATorName*{Mod-R}^i)$ bE rEpresEnteD BY A DiagRam $(x_i \miD i \in I)$ Of chain compleXes. then CLeaRly, $\maThscr{x}_i \siMeQ X_i$ as ObjectS of $\opErAtorname*{\mathbf{D}}(r)$ for Any $i \in I$.

We WilL bE esPeCiallY IntereSteD in The homoTopy colIMit CoNSTRuCtion in the case when ThE SMaLl categoRy $I$ is dIReCtED. In this sItUatIon, wE CAll $\opEratORnAme*{hocolIm}_{i \in I}$ A [DiReCted homOtOpy colImIt]{}. BEcaUse thE DireCt limiT functor $\VarinJLim_{i \in I} = \operatoRName*{colim}_{i \in I}$ ON tHE CaTEgorY of Chain compleXes oF $r$-modUles IS eXacT, We havE for eAcH ObJEct $\mathscr{X} \in \operatOrName*{\maThbf{D}}(\Operatorname*{MOd-R}^I)$, represENTEd by a diaGram $(x_I \mID i \in I)$ of chain coMplexEs, the isomoRPhism $\opeRatorName*{hocoLim}_{i \in I} \maTHScr{X} \simeQ \vaRinJliM_{i \iN i} x_i$ In $\operatornamE*{\MAthbF{D}}(r)$. In partIcuLar, we haVe fOr aNy $n \In \mAtHbb{Z}$ the foLlowing iSoMoRpHiSm oN cohoMOlogies $$H^N(\oPerAtOrnAme*{hoCOlim}_{i \iN I} \matHscr{x}) \sImEQ \vaRinjlim_{
 \operatorname*{\mathbf{D} }(\operato rname *{M od- R} ^I)\rig htarrow \opera t orna me*{\mathbf{D}}(R)$ to  be t he left de rived  functo r  $ \ m ath bf {L }\o pe r at ornam e*{ colim}_ {i \in I}$  of  t he usual col i mi t functor$\o peratorname* {co lim}_{ i\in I}: \ ope rator name*{ M od-R}^ I \righta rr o w \ope r atornam e * {M od-R }$. Dually, we de f in e  the [homotopy  limit ]{ }  f u n cto r a s $\operat or name* { holim}_ { i\ i n  I} := \mathbf{R}  \lim_{i \i n  I} : \ope ra tor n ame*{\ mathb f{ D }}( \operatorna me*{ Mod-R}^I)  \righ t arrow \ o perator name*{ \ma thb f{D} } (R )$ .
Th e  ob j ec tso f $ \operato rn am e*{\m athb f { D } }(\o per ator name* {Mod-R}^I)$,tha t is ,  th e coh erent  dia gr ams o f shap e $I$ ,are all represe nted  by diagr ams  o f c ha in co m plexes  of  $R $-modul es. Let $\m at h s c r{ X} \in \operatorna me * { \m athbf{D} }(\ope r at or n ame*{Mod -R }^I )$ b e repre sent e dby a dia gram $ ( X_ i\mid i\i n I)$of  ch ain  comp l exes . Then  clearly , $\m a thscr{X}_i \si m eq X_i$ as ob j ec t s  o f  $\o per atorname*{\ math b f{D} }(R) $  f ora ny $i  \inI$ . 
W e will be especiall yintere stedin the homoto py colimit c o nstructi on i n  t h e case when th e sma ll categor y  $I$ isdirec ted. Inthis situ a t ion, wecal l $ \op era t o rn ame*{hocolim} _ { i \i nI}$ a [ dir ected h omo top y c oli mi t]{}. Bec ause the  d ir ec tlim it fu n ctor $\v ar inj li m_{ i \in I} = \ opera torn am e* { col im}_{i\ in I }$ o nth e ca teg or y ofchai n  co mplexes  of $R$-m odu l es i sex act, we  have for eac hobject $\m at hsc r{X} \ i n  \operat orname*{\mathbf{D}}(\op e ratorna me* {Mod- R}^I )$, repre sen ted by  ad iagram  $(X_i  \mid  i  \i n I)$ o f ch ain  c omplexes,t h e i somor ph ism$\opera torname*{hocolim}_ { i \ in I} \mathsc r{X } \s i m eq  \v a ri n jli m_ { i \ i n  I} X_i$ in $\o peratornam e* { \m athbf{D}}( R )$.  I n parti cular,we ha v e for a ny $n \in  \mathbb{ Z} $ th e fol lowing iso morphism  on cohom o logie s  $ $H^n( \op erator na me* {hoco lim}_{ i  \i n I}\maths cr {X}) \ simeq  \ varinjli m_{
 \operatorname*{\mathbf{D}}(\operatorname*{Mod-R}^I)_\rightarrow \operatorname*{\mathbf{D}}(R)$_to be the left_derived functor_$\mathbf{L}\operatorname*{colim}_{i_\in I}$_of_the usual colimit_functor $\operatorname*{colim}_{i \in_I}: \operatorname*{Mod-R}^I \rightarrow \operatorname*{Mod-R}$._Dually, we define_the_[homotopy limit]{} functor as $\operatorname*{holim}_{i \in I} := \mathbf{R} \lim_{i \in I}: \operatorname*{\mathbf{D}}(\operatorname*{Mod-R}^I) \rightarrow_\operatorname*{\mathbf{D}}(R)$.

The_objects of_$\operatorname*{\mathbf{D}}(\operatorname*{Mod-R}^I)$,_that_is, the coherent diagrams of_shape $I$, are all represented_by diagrams_of chain complexes of $R$-modules. Let $\mathscr{X} \in_\operatorname*{\mathbf{D}}(\operatorname*{Mod-R}^I)$_be represented by_a diagram $(X_i \mid i \in I)$ of chain_complexes. Then clearly, $\mathscr{X}_i \simeq X_i$_as objects of_$\operatorname*{\mathbf{D}}(R)$_for_any $i \in I$.

We_will be especially interested in the_homotopy colimit construction in the case_when the small category $I$ is directed._In this situation, we call $\operatorname*{hocolim}_{i_\in I}$ a [directed homotopy_colimit]{}. Because_the direct limit functor $\varinjlim_{i_\in I} =_\operatorname*{colim}_{i \in_I}$ on the_category of chain complexes of $R$-modules_is exact, we_have for each object $\mathscr{X} \in_\operatorname*{\mathbf{D}}(\operatorname*{Mod-R}^I)$,_represented by a_diagram_$(X_i_\mid i_\in I)$ of_chain_complexes, the_isomorphism_$\operatorname*{hocolim}_{i \in I} \mathscr{X} \simeq \varinjlim_{i_\in_I} X_i$ in $\operatorname*{\mathbf{D}}(R)$. In particular, we_have for any $n_\in_\mathbb{Z}$ the following isomorphism_on cohomologies $$H^n(\operatorname*{hocolim}_{i \in I}_\mathscr{X}) \simeq \varinjlim_{