^*S\to E$ is an isomorphism of DG ${{\mathcal A}}^0$-modules such that the following holds: there exists an isomorphism of graded ${{\mathcal A}}^0 _{{{\mathcal R}}}$-modules $\eta :(E\otimes
{{\mathcal R}})^{\gr} \to S^{\gr}$ so that the composition $$E= i^*(E\otimes {{\mathcal R}})
\stackrel{i^*(\eta)}{\to} i^*S\stackrel{\sigma}{\to}E$$ is the identity.

Given objects $(S,\sigma),(S^\prime,\sigma ^\prime)\in {\operatorname{Def}}_{{{\mathcal R}}}^{\h}(E)$ a map $f:(S,\sigma)\to (S^\prime,\sigma ^\prime)$ is an isomorphism $f:S\to S^\prime$ such that $\sigma ^\prime \cdot
i^*f=\sigma$. An allowable homotopy between maps $f,g$ is a homotopy $h:f\to g$ such that $i^*(h)=0$. We define morphisms in ${\operatorname{Def}}_{{{\mathcal R}}}^{\h}(E)$ to be classes of maps modulo allowable homotopies.

Note that a homomorphism of artinian DG algebras $\phi :{{\mathcal R}}\to {{\mathcal Q}}$ induces the functor $\phi ^*:{\operatorname{Def}}_{{{\mathcal R}}}^{\h}(E)\to {\operatorname{Def}}_{{{\mathcal Q}}}^{\h}(E)$. This defines the 2-functor $${\operatorname{Def}}{^h}(E):{\operatorname{dgart}}\to {\bf Gpd}.$$

We refer to objects of ${\operatorname{Def}}_{{{\mathcal R}}}^{\h} (E)$ as homotopy ${{\mathcal R}}$-deformations of $E$.

We call $(p^*E,{\operatorname{id}})\in {\operatorname{Def}}_{{{\mathcal R}}}^{\h}(E)$ the trivial ${{\mathcal R}}$-deformation of $E$.

Denote by ${\operatorname{Def}}_+^{\h}(E)$, ${\operatorname{Def}}_-^{\h}(E)$, ${\operatorname{Def}}_0^{\h}(E)$, ${\operatorname{Def}}^{\h}_{{\operatorname{cl}}}(E)$ the restrictions of the 2-functor ${\operatorname{Def}}^{\h}(E)$ to subcategories ${\operatorname{dgart}}_+$, ${\operatorname{dgart}}_-$, ${\operatorname{art}}$, ${\operatorname{cart}}$ respectively.

Let us give an alternative description
^*S\to E$ is an isomorphism of DG $ { { \mathcal A}}^0$-modules such that the following holds: there exists an isomorphism of graded $ { { \mathcal A}}^0 _ { { { \mathcal R}}}$-modules $ \eta :( E\otimes 
 { { \mathcal R}})^{\gr } \to S^{\gr}$ so that the composing $ $ E= i^*(E\otimes { { \mathcal radius } }) 
 \stackrel{i^*(\eta)}{\to } i^*S\stackrel{\sigma}{\to}E$$ is the identity. 

 Given objects $ (S,\sigma),(S^\prime,\sigma ^\prime)\in { \operatorname{Def}}_{{{\mathcal R}}}^{\h}(E)$ a map $ f:(S,\sigma)\to (S^\prime,\sigma ^\prime)$ is an isomorphism $ fluorine: S\to S^\prime$ such that $ \sigma ^\prime \cdot 
 i^*f=\sigma$. An allowable homotopy between maps $ f, g$ is a homotopy $ heat content: f\to g$ such that $ i^*(h)=0$. We specify morphisms in $ { \operatorname{Def}}_{{{\mathcal R}}}^{\h}(E)$ to be classes of map modulo allowable homotopies. 

 Note that a homomorphism of artinian DG algebras $ \phi: { { \mathcal R}}\to { { \mathcal Q}}$ induce the functor $ \phi ^*:{\operatorname{Def}}_{{{\mathcal R}}}^{\h}(E)\to { \operatorname{Def}}_{{{\mathcal Q}}}^{\h}(E)$. This defines the 2 - functor $ $ { \operatorname{Def}}{^h}(E):{\operatorname{dgart}}\to { \bf Gpd}.$$ 

 We refer to object of $ { \operatorname{Def}}_{{{\mathcal R}}}^{\h } (E)$ as homotopy $ { { \mathcal R}}$-deformations of $ E$. 

 We call $ (p^*E,{\operatorname{id}})\in { \operatorname{Def}}_{{{\mathcal R}}}^{\h}(E)$ the trivial $ { { \mathcal R}}$-deformation of $ E$. 

 Denote by $ { \operatorname{Def}}_+^{\h}(E)$, $ { \operatorname{Def}}_-^{\h}(E)$, $ { \operatorname{Def}}_0^{\h}(E)$, $ { \operatorname{Def}}^{\h}_{{\operatorname{cl}}}(E)$ the restrictions of the 2 - functor $ { \operatorname{Def}}^{\h}(E)$ to subcategories $ { \operatorname{dgart}}_+$, $ { \operatorname{dgart}}_-$, $ { \operatorname{art}}$, $ { \operatorname{cart}}$ respectively. 

 Let us give an alternative description
^*S\to E$ is an isomorphism of AG ${{\mathcal A}}^0$-modolws suci that fhe folluwing holds: there exists an msomirphiwm of graded ${{\mathcal A}}^0 _{{{\mathcal G}}}$-modules $\wta :(T\otimes
{{\mathcal R}})^{\gc} \to S^{\gr}$ so thzb the romposition $$E= i^*(G\otimes {{\mathwal R}})
\stackrel{i^*(\atx)}{\tl} i^*S\stackrel{\sigma}{\to}E$$ is the identitr.

Given pbuects $(S,\sigma),(S^\ptime,\spgia ^\pdpmt)\in {\operatorname{Def}}_{{{\mathcal R}}}^{\h}(E)$ a jap $f:(S,\spgma)\to (S^\prime,\sigms ^\prime)$ is an isomorphism $v:S\to S^\prime$ such that $\digma ^\prime \cdoe
u^*f=\sigma$. An aulowable homotopy betwgen maps $f,g$ is a homotopy $h:f\to g$ such that $i^*(h)=0$. Wg sevhne morphisns in ${\operatornamc{Cef}}_{{{\matvcal R}}}^{\h}(R)$ to be classex oh maps modulo allowable hmmotopies.

Note that a homomospkism of artinian DG aogwbras $\phi :{{\matfxal R}}\tk {{\kafhcal E}}$ iiduces the runctor $\phi ^*:{\operatorname{Def}}_{{{\matncwo R}}}^{\h}(E)\to {\operafornamq{Dqf}}_{{{\mathcal Q}}}^{\h}(E)$. This defines the 2-functor $${\mpedatorname{Def}}{^h}(E):{\operatornqme{dgart}}\to {\bf Gpd}.$$

We rgfer to obtects of ${\operatorname{Def}}_{{{\mathcal R}}}^{\h} (E)$ as homotopy ${{\kathcel R}}$-dtfirmatkind of $E$.

We call $(p^*E,{\operatorname{id}})\in {\operatorname{Qsf}}_{{{\kanhcal R}}}^{\h}(E)$ the triyial ${{\mathcal R}}$-defotmwtojn of $E$.

Denote by ${\opzdaforname{Def}}_+^{\h}(E)$, ${\operahorname{Qef}}_-^{\h}(E)$, ${\operatorgame{Cef}}_0^{\h}(E)$, ${\operatorname{Def}}^{\h}_{{\operarorname{cl}}}(E)$ tke eestrictions of thz 2-functor ${\opzratormame{Drf}}^{\h}(E)$ to subcategories ${\o'eratodname{dgart}}_+$, ${\lperatornzoe{dgart}}_-$, ${\operatorvamv{art}}$, ${\operatorname{cart}}$ respectidely.

Let uw gire an algernstive qescriptioj
^*S\to E$ is an isomorphism of DG such the following there exists an _{{{\mathcal $\eta :(E\otimes {{\mathcal \to S^{\gr}$ so the composition $$E= i^*(E\otimes {{\mathcal R}}) i^*S\stackrel{\sigma}{\to}E$$ is the identity. Given objects $(S,\sigma),(S^\prime,\sigma ^\prime)\in {\operatorname{Def}}_{{{\mathcal R}}}^{\h}(E)$ a map $f:(S,\sigma)\to ^\prime)$ is an isomorphism $f:S\to S^\prime$ such that $\sigma ^\prime \cdot i^*f=\sigma$. An homotopy maps is homotopy $h:f\to g$ such that $i^*(h)=0$. We define morphisms in ${\operatorname{Def}}_{{{\mathcal R}}}^{\h}(E)$ to be classes of modulo allowable homotopies. Note that a homomorphism of DG algebras $\phi :{{\mathcal {{\mathcal Q}}$ induces the functor ^*:{\operatorname{Def}}_{{{\mathcal {\operatorname{Def}}_{{{\mathcal Q}}}^{\h}(E)$. defines 2-functor {\bf Gpd}.$$ We to objects of ${\operatorname{Def}}_{{{\mathcal R}}}^{\h} (E)$ as homotopy ${{\mathcal R}}$-deformations of $E$. We call $(p^*E,{\operatorname{id}})\in {\operatorname{Def}}_{{{\mathcal R}}}^{\h}(E)$ trivial ${{\mathcal $E$. Denote ${\operatorname{Def}}_+^{\h}(E)$, ${\operatorname{Def}}_0^{\h}(E)$, the restrictions of ${\operatorname{Def}}^{\h}(E)$ to subcategories ${\operatorname{dgart}}_+$, ${\operatorname{dgart}}_-$, ${\operatorname{art}}$, us give an alternative description
^*S\to E$ is an isomorphism of DG ${{\maThcal A}}^0$-moduLes suCh tHat ThE folLowiNg holds: there exISts aN isomorphism of graded ${{\maThcal a}}^0 _{{{\mAThcaL r}}}$-mOduleS $\eta :(E\otIMeS
{{\MAthCaL R}})^{\Gr} \tO S^{\GR}$ sO that The ComposiTion $$E= i^*(E\otiMes {{\MaThcal R}})
\stackrEL{i^*(\Eta)}{\to} i^*S\staCkrEl{\sigma}{\to}E$$ is The IdentiTy.

givEN objeCts $(s,\sigmA),(S^\primE,\Sigma ^\pRime)\in {\opeRaTOrname{dEf}}_{{{\mathcAL r}}}^{\h}(e)$ a maP $f:(S,\sigma)\to (S^\prime,\sIGmA ^\Prime)$ is an isomoRphism $F:S\TO S^\PRIme$ SucH that $\sigma ^\PrIme \cdOT
i^*f=\sigmA$. an ALLOwaBLe homotopy betWeen maps $f,g$ iS A hoMotopy $H:f\To g$ SUch thaT $i^*(h)=0$. We DeFIne Morphisms in ${\OperAtorname{DEf}}_{{{\mathCAl R}}}^{\h}(E)$ to BE classeS of mapS moDulO allOWaBlE hoMoTOpiES.

NOte THat A homomorPhIsM of arTiniAN dg AlgeBraS $\phi :{{\MathcAl R}}\to {{\mathcal Q}}$ IndUces THe fUnctoR $\phi ^*:{\oPeraToRname{def}}_{{{\matHcal R}}}^{\H}(E)\To {\operatorname{DEf}}_{{{\maThcal Q}}}^{\h}(E)$. THis DeFinEs The 2-fuNCtor $${\opEraTorName{Def}}{^H}(E):{\operaTOrnAmE{DGArT}}\to {\bf Gpd}.$$

We refer to oBjECTs Of ${\operatOrname{dEf}}_{{{\MaTHcal R}}}^{\h} (E)$ aS hOmoTopy ${{\MAThcal r}}$-defORmAtions of $e$.

We calL $(P^*E,{\OpEratornAmE{id}})\in {\oPeRatOrnAme{DeF}}_{{{\MathCal R}}}^{\h}(E)$ The triviAl ${{\matHCal R}}$-deformatioN Of $E$.

Denote by ${\opERaTORnAMe{DeF}}_+^{\h}(E)$, ${\OperatornamE{Def}}_-^{\H}(e)$, ${\opeRatoRNaMe{DEF}}_0^{\h}(E)$, ${\opEratoRnAMe{dEf}}^{\h}_{{\operatorname{cl}}}(E)$ tHe RestriCtionS of the 2-functor ${\OperatornaME{dEf}}^{\h}(E)$ to suBcatEGoRIes ${\operatornamE{dgarT}}_+$, ${\operatornAMe{dgart}}_-$, ${\oPeratOrname{arT}}$, ${\operatorNAMe{cart}}$ reSpeCtiVelY.

LeT US gIve an alternatIVE desCrIption
^*S\to E$ is an isomorphis m of DG ${ {\mat hca l A }} ^0$- modu les such thatt he f ollowing holds: thereexist sa n is o mo rphis m of gr a de d ${{ \m at hca lA }} ^0 _{ {{\ mathcal  R}}}$-mod ule s$\eta :(E\ot i me s
{{\mathc alR}})^{\gr} \ toS^{\gr }$  so thatthe  comp ositio n  $$E=i^*(E\oti me s  {{\ma t hcal R} } ) 
\ stac krel{i^*(\eta)}{\ t o} i^*S\stackrel{ \sigma }{ \ to } E $$isthe identi ty .

Gi v en obje c ts $ ( S,\ s igma),(S^\pri me,\sigma ^ \ pri me)\in  { \op e ratorn ame{D ef } }_{ {{\mathcalR}}} ^{\h}(E)$  a map $f:(S,\ s igma)\t o (S^\ pri me, \sig m a^\ pri me ) $ i s  a n i s omo rphism $ f: S\ to S^ \pri m e $ such  th at $ \sigm a ^\prime \cd oti^*f = \si gma$.  An a llow ab le ho motopy  betw ee n maps $f,g$ is  a h omotopy $ h:f \t o g $sucht hat $i ^*( h)= 0$. Wedefinem orp hi s m s  i n ${\operatorname{ De f } }_ {{{\math cal R} } }^ {\ h }(E)$ to  b e c lass e s  of m apsm od ulo allo wableh om ot opies.
N ote th at  ahom omorp h ismof art inian DG  alge b ras $\phi :{{\ m athcal R}}\to {{ \ m at h calQ}} $ induces t he f u ncto r $\ p hi  ^* : {\ope rator na m e{ D ef}}_{{{\mathcal R} }} ^{\h}( E)\to  {\operatorna me{Def}}_{ { { \ mathcalQ}}} ^ {\ h }(E)$. This de fines  the 2-fun c tor $${\ opera torname{ Def}}{^h} ( E ):{\oper ato rna me{ dga r t }} \to {\bf Gpd} . $ $

W erefer t o o bjectsof${\ ope rat or name{Def} }_{{{\ma th ca lR} }}^ {\h}( E)$ as h om oto py  ${ {\mat h cal R} }$-de form at io n s o f $E$.We c all$( p^ *E,{ \op er atorn ame{ i d}} )\in {\ operatorn ame { Def} }_ {{ {\mathc al R}}}^{\h}( E) $ the triv ia l $ {{\mat h c al R}}$- deformation of $E$.

De n ote by${\ opera torn ame{Def}} _+^ {\h}(E )$, ${\ope ratorn ame{D ef }}_ - ^ {\h}( E ) $,  ${ \o peratornam e { Def }}_0^ {\ h}(E )$, ${\ operatorname{Def}} ^ {\h }_{{\operator nam e{cl } } }( E)$ th e  re st r ict i o ns of the 2-fun ctor ${\op er a to rname{Def} } ^{\ h} (E)$ to  subcat egori e s ${\op eratornam e{dgart}} _+ $, $ { \ ope ratorname{ dgart}}_ -$, ${\op e rator n am e{art }}$ , ${\o pe rat ornam e{cart } }$respe ctivel y. 

Letus gi ve  an alte rnative description
^*S\to E$_is an_isomorphism of DG ${{\mathcal_A}}^0$-modules such_that_the following_holds:_there exists an_isomorphism of graded_${{\mathcal A}}^0 _{{{\mathcal R}}}$-modules_$\eta :(E\otimes
{{\mathcal R}})^{\gr}_\to_S^{\gr}$ so that the composition $$E= i^*(E\otimes {{\mathcal R}})
\stackrel{i^*(\eta)}{\to} i^*S\stackrel{\sigma}{\to}E$$ is the identity.

Given objects_$(S,\sigma),(S^\prime,\sigma_^\prime)\in {\operatorname{Def}}_{{{\mathcal_R}}}^{\h}(E)$_a_map $f:(S,\sigma)\to (S^\prime,\sigma ^\prime)$ is_an isomorphism $f:S\to S^\prime$ such_that $\sigma_^\prime \cdot
i^*f=\sigma$. An allowable homotopy between maps $f,g$_is_a homotopy $h:f\to_g$ such that $i^*(h)=0$. We define morphisms in ${\operatorname{Def}}_{{{\mathcal_R}}}^{\h}(E)$ to be classes of maps_modulo allowable homotopies.

Note_that_a_homomorphism of artinian DG_algebras $\phi :{{\mathcal R}}\to {{\mathcal Q}}$_induces the functor $\phi ^*:{\operatorname{Def}}_{{{\mathcal R}}}^{\h}(E)\to_{\operatorname{Def}}_{{{\mathcal Q}}}^{\h}(E)$. This defines the 2-functor $${\operatorname{Def}}{^h}(E):{\operatorname{dgart}}\to_{\bf Gpd}.$$

We refer to objects of_${\operatorname{Def}}_{{{\mathcal R}}}^{\h} (E)$ as homotopy_${{\mathcal R}}$-deformations_of $E$.

We call $(p^*E,{\operatorname{id}})\in {\operatorname{Def}}_{{{\mathcal_R}}}^{\h}(E)$ the trivial_${{\mathcal R}}$-deformation_of $E$.

Denote by_${\operatorname{Def}}_+^{\h}(E)$, ${\operatorname{Def}}_-^{\h}(E)$, ${\operatorname{Def}}_0^{\h}(E)$, ${\operatorname{Def}}^{\h}_{{\operatorname{cl}}}(E)$ the restrictions_of the 2-functor_${\operatorname{Def}}^{\h}(E)$ to subcategories ${\operatorname{dgart}}_+$, ${\operatorname{dgart}}_-$, ${\operatorname{art}}$,_${\operatorname{cart}}$_respectively.

Let us give_an_alternative_description