: \pi \rightarrow \pi'$, induces a ring homomorphism $\varphi_{\sharp}: \Lambda \rightarrow \Lambda'$, where $\Lambda' = \mathbb Z[\pi']$. A chain map is a pair $(\varphi, F): (\pi, C) \rightarrow (\pi', C')$, where $\varphi$ is a group homomorphism and $F: C \rightarrow C'$ a $\varphi$–equivariant chain map, that is a chain map of the underlying abelian chain complexes, such that $F(\lambda c) = \varphi_{\sharp}(\lambda) F(c)$ for $\lambda \in \Lambda$ and $c \in C$. Two such chain maps are homotopic, $(\varphi, F) \simeq (\psi, G)$ if $\varphi = \psi$ and if there is a $\varphi$–equivariant map $\alpha: C \rightarrow C'$ of degree $+1$ such that $G - F = d \alpha + \alpha d$.

A pair $(\pi, C)$ is a reduced chain complex if $C_0 = \Lambda$ with generator $\ast$, $C_i = 0$ for $i  < 0$ and ${\rm H}_0 C = \mathbb Z$ such that $C_0 = \Lambda \rightarrow {\rm H}_0 C = \mathbb Z$ is the augmentation of $\Lambda$. A chain map, $(\varphi, f): (\pi, C) \rightarrow (\pi', C')$, of reduced chain complexes, is reduced if $f_0$ is induced by $\varphi_{\sharp}$, and a chain homotopy $\alpha$ of reduced chain maps is reduced if $\alpha_0 = 0$. The objects of the category ${\rm\bf H}_0$ are reduced chain complexes and the morphisms are reduced chain maps. Homotopies in ${\rm\bf H}_0$ are reduced chain homotopies. Every chain complex $(\pi, C)$ in ${\rm\bf H}_0$ is equipped with the augmentation $\varepsilon: C \rightarrow \mathbb Z$ in ${\rm\bf H}_0$. The ring homomorphism $\mathbb Z \rightarrow \Lambda$ yields the co–augmentation $\iota: \mathbb Z \rightarrow C$, where we view $\mathbb Z = (0, \mathbb Z)$ as chain complex with trivial group $\pi = 0$ concentrated in degree $0$. Note that $\varepsilon \iota = {\rm id}_{\mathbb Z}$, and the composite $\iota \varepsilon:
: \pi \rightarrow \pi'$, induces a ring homomorphism $ \varphi_{\sharp }: \Lambda \rightarrow \Lambda'$, where $ \Lambda' = \mathbb Z[\pi']$. A chain map is a couple $ (\varphi, F ): (\pi, C) \rightarrow (\pi', C')$, where $ \varphi$ is a group homomorphism and $ farad: C \rightarrow C'$ a $ \varphi$–equivariant chain map, that is a range map of the underlie abelian chain complexes, such that $ F(\lambda cytosine) = \varphi_{\sharp}(\lambda) F(c)$ for $ \lambda \in \Lambda$ and $ c \in C$. Two such chain map are homotopic, $ (\varphi, F) \simeq (\psi, G)$ if $ \varphi = \psi$ and if there is a $ \varphi$–equivariant map $ \alpha: C \rightarrow C'$ of academic degree $ +1 $ such that $ G - F = d \alpha + \alpha d$. 

 A pair $ (\pi, C)$ is a reduced chain complex if $ C_0 = \Lambda$ with generator $ \ast$, $ C_i = 0 $ for $ i   < 0 $ and $ { \rm H}_0 C = \mathbb Z$ such that $ C_0 = \Lambda \rightarrow { \rm H}_0 C = \mathbb Z$ is the augmentation of $ \Lambda$. A range map, $ (\varphi, f ): (\pi, C) \rightarrow (\pi', C')$, of reduced range complexes, is shrink if $ f_0 $ is induce by $ \varphi_{\sharp}$, and a chain homotopy $ \alpha$ of reduced chain function is reduced if $ \alpha_0 = 0$. The objects of the category $ { \rm\bf H}_0 $ are reduced range complexes and the morphisms are reduce chain maps. Homotopies in $ { \rm\bf H}_0 $ are reduced range homotopies. Every chain complex $ (\pi, C)$ in $ { \rm\bf H}_0 $ is equipped with the augmentation $ \varepsilon: C \rightarrow \mathbb Z$ in $ { \rm\bf H}_0$. The ring homomorphism $ \mathbb Z \rightarrow \Lambda$ yields the co – augmentation $ \iota: \mathbb Z \rightarrow C$, where we see $ \mathbb Z = (0, \mathbb Z)$ as chain complex with trivial group $ \pi = 0 $ concentrated in degree $ 0$. Note that $ \varepsilon \iota = { \rm id}_{\mathbb Z}$, and the composite $ \iota \varepsilon:
: \pi \rightarrow \pi'$, induces a ring homomorphnwm $\var'hi_{\sharl}: \Lambda \rightarrow \Lambda'$, where $\Lamuda' = \mathvb Z[\pi']$. A chain map is x pair $(\vagphi, F): (\pi, C) \rmghtarrow (\pi', C')$, wisre $\variki$ is w grmnp homomorphism and $F: C \rhghtarrow C'$ a $\eafpki$–equivariant chain map, that is a chwin map ov the underlyigg anqliah chain complexes, such that $F(\lambdz c) = \vagphi_{\sharp}(\lambda) F(v)$ for $\lambda \in \Lambda$ and $c \ij C$. Two such chain maps are himotjpic, $(\varphi, F) \simeq (\psi, G)$ if $\varphi = \psi$ and if there is a $\varphi$–eduivaxiant map $\aopya: F \rightarrow C'$ of degree $+1$ sucm that $C - F = d \alpha + \alpha c$.

A 'air $(\pi, C)$ is a reduced chein complex if $C_0 = \Laibda$ with gznerator $\ast$, $C_i = 0$ for $i  < 0$ atd ${\rk H}_0 Z = \mxthgb Z$ such hhav $C_0 = \Lambda \rightarrow {\rm H}_0 C = \mathbb Z$ ix eye augmentatikn of $\Jaibda$. A chain map, $(\varphi, f): (\pi, C) \rightarrmw (\li', C')$, of reduced chain cimplexes, is reduced iv $f_0$ is inquced by $\varphi_{\sharp}$, and a chain homotopy $\alpha$ ox redncdd emwkb laps is reduced if $\alpha_0 = 0$. The objects of the dauegpry ${\rm\bf H}_0$ are reduced chsij vjmplexes and jhe mor'giams are reduced chwin mapf. Homitopies ig ${\rm\nf H}_0$ are reduced chain homoropies. Every xhain complex $(\pi, C)$ in ${\rm\bf H}_0$ ns equopped with the augmentation $\rarepsjlon: C \righharrow \maffbb Z$ in ${\rm\bf H}_0$. Ghe rhng homomorphism $\mathbb Z \wightarrox \Lamyda$ yielas tne co–atgmentatioj $\iota: \mathbb Z \rightarrlw C$, chere we view $\mwthbb Z = (0, \mathbb Z)$ as chain com'kex with trifidl croup $\pi = 0$ cokcentrated in dqgree $0$. Note thct $\varepfilon \iota = {\rm pd}_{\mathbb V}$, and the coiposite $\iota \ewrepsilon:
: \pi \rightarrow \pi'$, induces a ring \Lambda \Lambda'$, where = \mathbb Z[\pi']$. pair F): (\pi, C) (\pi', C')$, where is a group homomorphism and $F: \rightarrow C'$ a $\varphi$–equivariant chain map, that is a chain map of the abelian chain complexes, such that $F(\lambda c) = \varphi_{\sharp}(\lambda) F(c)$ for $\lambda \in and \in Two chain maps are homotopic, $(\varphi, F) \simeq (\psi, G)$ if $\varphi = \psi$ and if there a $\varphi$–equivariant map $\alpha: C \rightarrow C'$ of $+1$ such that $G F = d \alpha + d$. pair $(\pi, is reduced complex if $C_0 \Lambda$ with generator $\ast$, $C_i = 0$ for $i < 0$ and ${\rm H}_0 C = \mathbb such that \Lambda \rightarrow H}_0 = Z$ is the $\Lambda$. A chain map, $(\varphi, f): (\pi', C')$, of reduced chain complexes, is reduced $f_0$ is by $\varphi_{\sharp}$, and a chain homotopy of reduced chain maps is reduced if $\alpha_0 0$. The objects of the category ${\rm\bf H}_0$ are reduced chain complexes and the morphisms chain maps. Homotopies in H}_0$ are reduced homotopies. chain $(\pi, in ${\rm\bf is equipped with the augmentation $\varepsilon: C \rightarrow \mathbb Z$ in H}_0$. The ring homomorphism $\mathbb Z \rightarrow \Lambda$ yields the \mathbb \rightarrow C$, where view $\mathbb Z = \mathbb as chain complex with $\pi 0$ $0$. that \iota = {\rm id}_{\mathbb and the composite $\iota \varepsilon:
: \pi \rightarrow \pi'$, induces a rinG homomorphIsm $\vaRphI_{\shArP}: \LamBda \rIghtarrow \LambdA'$, WherE $\Lambda' = \mathbb Z[\pi']$. A chain Map is A pAIr $(\vaRPhI, F): (\pi, C) \RightarROw (\PI', c')$, whErE $\vArpHi$ IS a Group HomOmorphiSm and $F: C \rigHtaRrOw C'$ a $\varphi$–eqUIvAriant chaiN maP, that is a chaiN maP of the UnDerLYing aBelIan chAin comPLexes, sUch that $F(\lAmBDa c) = \varPHi_{\sharp}(\LAMbDa) F(c)$ For $\lambda \in \Lambda$ ANd $C \In C$. Two such chaiN maps aRe HOmOTOpiC, $(\vaRphi, F) \simeq (\PsI, G)$ if $\vARphi = \psi$ ANd IF THerE Is a $\varphi$–equiVariant map $\aLPha: c \rightArRow c'$ Of degrEe $+1$ sucH tHAt $G - f = d \alpha + \alphA d$.

A pAir $(\pi, C)$ is a ReduceD Chain coMPlex if $C_0 = \lambda$ WitH geNeraTOr $\AsT$, $C_i = 0$ FoR $I  < 0$ anD ${\Rm h}_0 C = \mAThbB Z$ such thAt $c_0 = \LAmbda \RighTARROw {\rm h}_0 C = \mAthbB Z$ is tHe augmentatioN of $\lambDA$. A cHain mAp, $(\varPhi, f): (\Pi, c) \righTarrow (\Pi', C')$, of ReDuced chain complExes, Is reduced If $f_0$ Is IndUcEd by $\vARphi_{\shArp}$, And A chain hOmotopy $\ALphA$ oF REDuCed chain maps is reduCeD IF $\aLpha_0 = 0$. The oBjects OF tHe CAtegory ${\rM\bF H}_0$ aRe reDUCed chAin cOMpLexes and The morPHiSmS are redUcEd chaiN mAps. homOtopiES in ${\rM\bf H}_0$ arE reduced Chain HOmotopies. Every CHain complex $(\pi, c)$ In ${\RM\Bf h}_0$ Is eqUipPed with the aUgmeNTatiOn $\vaREpSilON: C \rigHtarrOw \MAtHBb Z$ in ${\rm\bf H}_0$. The ring hoMoMorphiSm $\matHbb Z \rightarroW \Lambda$ yieLDS The co–augMentATiON $\iota: \mathbb Z \riGhtarRow C$, where wE View $\mathBb Z = (0, \maThbb Z)$ as cHain complEX With trivIal GroUp $\pI = 0$ coNCEnTrated in degreE $0$. nOte tHaT $\varepsIloN \iota = {\rm Id}_{\mAthBb Z}$, And ThE compositE $\iota \varEpSiLoN:
: \pi \rightarrow \pi'$, i nduces a r ing h omo mor ph ism$\va rphi_{\sharp}: \Lam bda \rightarrow \Lambd a'$,wh e re $ \ La mbda'  = \mat h bb Z [\p i' ]$ . A  c h ai n map  is  a pair  $(\varphi , F ):  (\pi, C) \r i gh tarrow (\p i',  C')$, where  $\ varphi $isa  grou p h omomo rphism and $F : C \righ ta r row C' $  a $\va r p hi $–eq uivariant chain m a p, that is a chai n mapof th e und erl ying abeli an  chai n  comple x es , s uch that $F(\lamb da c) = \va r phi _{\sha rp }(\ l ambda)  F(c) $f or$\lambda \i n \L ambda$ an d $c \ i n C$. T w o suchchainmap s a re h o mo to pic ,$ (\v a rp hi, F)\simeq ( \p si , G)$  if$ \ v a rphi  =\psi $ and  if there isa $ \var p hi$ –equi varia nt m ap  $\al pha: C  \rig ht arrow C'$ of de gree  $+1$ suc h t ha t $ G- F = d \alp ha+ \ alpha d $.

A p a ir$( \ p i ,C)$ is a reduced c ha i n  c omplex i f $C_0 =\L a mbda$ wi th  ge nera t o r $\a st$, $C _i = 0$for $i  <  0 $ and $ {\ rm H}_ 0C =  \m athbb Z$ s uch th at $C_0= \La m bda \rightarro w  {\rm H}_0 C=  \ m a th b b Z$  is  the augmen tati o n of  $\L a mb da$ .  A ch ain m ap ,  $ ( \varphi, f): (\pi,C)  \righ tarro w (\pi', C')$ , of reduc e d chain co mple x es ,  is reduced if  $f_0 $ is induc e d by $\v arphi _{\sharp }$, and a c hain hom oto py$\a lph a $  o f reduced cha i n  map sis redu ced  if $\a lph a_0  =0$.  T he object s of the  c at eg or y $ {\rm\ b f H}_0$ar e r ed uce d cha i n comp lexes  and  t he mor phismsa re r educ ed  c hain  ma ps . Hom otop i esin ${\r m\bf H}_0 $ a r e re du ce d chain  homotopies.Ev ery chainco mpl ex $(\ p i , C)$ in  ${\rm\bf H}_0$ is equi p ped wit h t he au gmen tation $\ var epsilo n:C  \righ tarrow  \mat hb b Z $ in ${ \ r m\ bfH} _0$. The r i n g h omomo rp hism  $\math bb Z \rightarrow \ L amb da$ yields th e c o–au g m en tat i on $\i ot a : \ m a thbb Z \rightar row C$, wh er e  w e view $\m a thb bZ = (0,  \mathb b Z)$ as chai n complex  with tri vi al g r o up$\pi = 0$concentr ated in d e gree$ 0$ . Not e t hat $\ va rep silon  \iota = { \rm i d}_{\m at hbb Z} $, an dthe comp osite $\iota \varepsilo n:
: \pi_\rightarrow \pi'$,_induces a ring homomorphism_$\varphi_{\sharp}: \Lambda_\rightarrow_\Lambda'$, where_$\Lambda'_= \mathbb Z[\pi']$._A chain map_is a pair $(\varphi,_F): (\pi, C)_\rightarrow_(\pi', C')$, where $\varphi$ is a group homomorphism and $F: C \rightarrow C'$ a_$\varphi$–equivariant_chain map,_that_is_a chain map of the_underlying abelian chain complexes, such_that $F(\lambda_c) = \varphi_{\sharp}(\lambda) F(c)$ for $\lambda \in \Lambda$_and_$c \in C$._Two such chain maps are homotopic, $(\varphi, F) \simeq_(\psi, G)$ if $\varphi = \psi$_and if there_is_a_$\varphi$–equivariant map $\alpha: C_\rightarrow C'$ of degree $+1$ such_that $G - F = d_\alpha + \alpha d$.

A pair $(\pi, C)$_is a reduced chain complex if_$C_0 = \Lambda$ with generator_$\ast$, $C_i_= 0$ for $i _< 0$ and_${\rm H}_0_C = \mathbb_Z$ such that $C_0 = \Lambda_\rightarrow {\rm H}_0_C = \mathbb Z$ is the_augmentation_of $\Lambda$. A_chain_map,_$(\varphi, f):_(\pi, C) \rightarrow_(\pi',_C')$, of_reduced_chain complexes, is reduced if $f_0$_is_induced by $\varphi_{\sharp}$, and a chain homotopy_$\alpha$ of reduced chain_maps_is reduced if $\alpha_0_= 0$. The objects of_the category ${\rm\bf H}_0$ are reduced_chain complexes_and the_morphisms are reduced chain maps. Homotopies in ${\rm\bf H}_0$ are reduced_chain homotopies. Every chain complex $(\pi,_C)$ in ${\rm\bf H}_0$_is equipped_with_the augmentation $\varepsilon:_C_\rightarrow \mathbb_Z$ in ${\rm\bf H}_0$. The ring homomorphism_$\mathbb Z_\rightarrow \Lambda$ yields the co–augmentation $\iota:_\mathbb Z \rightarrow C$,_where_we view $\mathbb Z = (0,_\mathbb Z)$ as chain complex with_trivial group $\pi = 0$_concentrated_in_degree $0$. Note that $\varepsilon_\iota = {\rm id}_{\mathbb Z}$, and_the composite $\iota_\varepsilon: