 in the opposite direction.

We define the 2-category $2^\prime \text{-}{\operatorname{dgalg}}$ of DG algebras as follows. The objects are DG algebras. For DG algebras ${{\mathcal B}}, {{\mathcal C}}$ the collection of 1-morphisms $1\text{-}\Hom({{\mathcal B}},{{\mathcal C}})$ consists of pairs $(M,\theta)$, where

-   $M\in D({{\mathcal B}}^0 \otimes {{\mathcal C}})$ and there exists an isomorphism (in $D({{\mathcal C}})$) $\theta :{{\mathcal C}}\to \nu _*M$ (where $\nu _*:D({{\mathcal B}}^0 \otimes
    {{\mathcal C}})\to D({{\mathcal C}})$ is the functor of restriction of scalars corresponding to the natural homomorphism $\nu :{{\mathcal C}}^0  \to {{\mathcal B}}\otimes {{\mathcal C}}^0$);

-   and $\theta :M{\stackrel{\bL}{\otimes }}_{{{\mathcal C}}}k\to k$ is an isomorphism in $D({{\mathcal B}}^0)$.

The composition of 1-morphisms $$1\text{-}\Hom({{\mathcal B}},{{\mathcal C}})\times 1\text{-}\Hom({{\mathcal C}},{{\mathcal D}})\to
1\text{-}\Hom({{\mathcal B}},{{\mathcal D}})$$ is defined by the tensor product $\cdot
 \stackrel{\bL}{\otimes}_{{{\mathcal C}}}\cdot $. Given 1-morphisms $(M_1,\theta _1), (M_2,\theta _2)\in
1\text{-}\Hom({{\mathcal B}},{{\mathcal C}})$ a 2-morphism $f: (M_1,\theta _1)\to
(M_2,\theta _2)$ is an isomorphism (in $D({{\mathcal B}}^0 \otimes {{\mathcal C}})$) $f:M_1\to M_2$ such that $\theta _1=\theta _2\cdot
(f){\stackrel{\bL}{\otimes}}_{{{\mathcal C}}}k$. So in particular the category $1\text{-}\Hom({{\mathcal B}},{{\mathcal C}})$ is a groupoid. Denote by $2^\prime\text{-}{\operatorname{dgart}}$ the full 2-subcategory of $2^\prime\text{-}{\operatorname{dgalg}}$ consisting of artinian DG algebras. Similarly we define the full 2-sub
in the opposite direction. 

 We define the 2 - category $ 2^\prime \text{-}{\operatorname{dgalg}}$ of DG algebra as take after. The objects are DG algebras. For DG algebra $ { { \mathcal B } }, { { \mathcal C}}$ the collection of 1 - morphisms $ 1\text{-}\Hom({{\mathcal B}},{{\mathcal C}})$ consist of pairs $ (M,\theta)$, where 

 -    $ M\in D({{\mathcal B}}^0 \otimes { { \mathcal C}})$ and there exists an isomorphism (in $ D({{\mathcal C}})$) $ \theta: { { \mathcal C}}\to \nu _ * M$ (where $ \nu _ *: D({{\mathcal B}}^0 \otimes 
     { { \mathcal C}})\to D({{\mathcal C}})$ is the functor of limitation of scalar corresponding to the natural homomorphism $ \nu: { { \mathcal C}}^0   \to { { \mathcal B}}\otimes { { \mathcal C}}^0 $); 

 -    and $ \theta: M{\stackrel{\bL}{\otimes } } _ { { { \mathcal C}}}k\to k$ is an isomorphism in $ D({{\mathcal B}}^0)$. 

 The composition of 1 - morphisms $ $ 1\text{-}\Hom({{\mathcal B}},{{\mathcal C}})\times 1\text{-}\Hom({{\mathcal C}},{{\mathcal D}})\to 
 1\text{-}\Hom({{\mathcal B}},{{\mathcal D}})$$ is defined by the tensor product $ \cdot 
  \stackrel{\bL}{\otimes}_{{{\mathcal C}}}\cdot $. give 1 - morphisms $ (M_1,\theta _ 1), (M_2,\theta _ 2)\in 
 1\text{-}\Hom({{\mathcal B}},{{\mathcal C}})$ a 2 - morphism $ f: (M_1,\theta _ 1)\to 
 (M_2,\theta _ 2)$ is an isomorphism (in $ D({{\mathcal B}}^0 \otimes { { \mathcal C}})$) $ f: M_1\to M_2 $ such that $ \theta _ 1=\theta _ 2\cdot 
 (f){\stackrel{\bL}{\otimes}}_{{{\mathcal C}}}k$. So in finical the class $ 1\text{-}\Hom({{\mathcal B}},{{\mathcal C}})$ is a groupoid. Denote by $ 2^\prime\text{-}{\operatorname{dgart}}$ the full 2 - subcategory of $ 2^\prime\text{-}{\operatorname{dgalg}}$ consist of artinian DG algebras. Similarly we define the entire 2 - sub
 in the opposite direction.

Wt define the 2-cateyiry $2^\prmme \texf{-}{\operatofname{dgalg}}$ of DG algebras as filloww. The objects are DG augebras. Flr DG altebres ${{\mathcal B}}, {{\matidal C}}$ tmz colmcctiou if 1-morphisms $1\tgxt{-}\Hom({{\mathcan B}},{{\mathcal C}})$ cmnridts of pairs $(M,\theta)$, where

-   $M\in D({{\maehcal B}}^0 \ohimes {{\mathcal S}})$ anc thedv txists an isomorphism (in $D({{\mathcal C}})$) $\thete :{{\mathcal C}}\to \ni _*M$ (where $\nu _*:D({{\mathcal B}}^0 \otlmes
    {{\mathcal C}})\to D({{\mwthcal C}})$ is the dunctor of rdstriction of scalars dorresponding to the natural hooomor'hism $\nu :{{\majkxal W}}^0  \to {{\mathcel B}}\otpmes {{\mathcal G}}^0$);

-   and $\theta :K{\stackrel{\bL}{\otikes }}_{{{\marhcal C}}}k\to k$ is an ismmorphism in $D({{\mathsal B}}^0)$.

The wojposition of 1-morpyiwms $$1\tgxt{-}\Hok({{\matfxal B}},{{\mzticam C}})\timfs 1\vext{-}\Hom({{\mathdal C}},{{\mathcao D}})\to
1\text{-}\Hom({{\mathcal B}},{{\iqthcal D}})$$ is dsfined br the tensor product $\cdot
 \stackrel{\bL}{\otikes}_{{{\jathcal C}}}\cdot $. Given 1-moephisms $(M_1,\theta _1), (M_2,\thetw _2)\in
1\text{-}\Hjm({{\mathcal B}},{{\mathcal C}})$ a 2-morphism $f: (M_1,\theta _1)\to
(M_2,\theta _2)$ is en isimjfphlsm (in $D({{\mathcal B}}^0 \otimes {{\mathcal C}})$) $f:M_1\to M_2$ sucr tnan $\theta _1=\theta _2\cdob
(f){\stackrel{\bL}{\otimes}}_{{{\kahhvwl C}}}k$. So in pxrticular the category $1\text{-}\Jom({{\mathsal B}},{{\nathcal C}})$ is s groupoid. Denote by $2^\prime\twxt{-}{\operatorncme{egart}}$ the full 2-subeategory of $2^\'rime\tgxt{-}{\opetatorname{dgalg}}$ consistiug of zrtinian DG algebras. Rimilarly we defkne tve full 2-sub
in the opposite direction. We define the \text{-}{\operatorname{dgalg}}$ DG algebras follows. The objects algebras B}}, {{\mathcal C}}$ collection of 1-morphisms B}},{{\mathcal C}})$ consists of pairs $(M,\theta)$, - $M\in D({{\mathcal B}}^0 \otimes {{\mathcal C}})$ and there exists an isomorphism (in C}})$) $\theta :{{\mathcal C}}\to \nu _*M$ (where $\nu _*:D({{\mathcal B}}^0 \otimes {{\mathcal C}})\to C}})$ the of of scalars corresponding to the natural homomorphism $\nu :{{\mathcal C}}^0 \to {{\mathcal B}}\otimes {{\mathcal C}}^0$); - $\theta :M{\stackrel{\bL}{\otimes }}_{{{\mathcal C}}}k\to k$ is an isomorphism $D({{\mathcal B}}^0)$. The composition 1-morphisms $$1\text{-}\Hom({{\mathcal B}},{{\mathcal C}})\times 1\text{-}\Hom({{\mathcal D}})\to B}},{{\mathcal D}})$$ defined the product $\cdot \stackrel{\bL}{\otimes}_{{{\mathcal $. Given 1-morphisms $(M_1,\theta _1), (M_2,\theta _2)\in 1\text{-}\Hom({{\mathcal B}},{{\mathcal C}})$ a 2-morphism $f: (M_1,\theta _1)\to (M_2,\theta _2)$ an isomorphism B}}^0 \otimes C}})$) M_2$ that $\theta _1=\theta C}}}k$. So in particular the category is a groupoid. Denote by $2^\prime\text{-}{\operatorname{dgart}}$ the full of $2^\prime\text{-}{\operatorname{dgalg}}$ of artinian DG algebras. Similarly we the full 2-sub
 in the opposite direction.

We dEfine the 2-caTegorY $2^\prIme \TeXt{-}{\opEratOrname{dgalg}}$ of Dg AlgeBras as follows. The objectS are Dg aLGebrAS. FOr DG aLgebras ${{\MAtHCAl B}}, {{\MaThCal c}}$ tHE cOllecTioN of 1-morpHisms $1\text{-}\HOm({{\mAtHcal B}},{{\mathcal c}})$ CoNsists of paIrs $(m,\theta)$, where

-   $M\In D({{\MathcaL B}}^0 \OtiMEs {{\matHcaL C}})$ and There eXIsts an IsomorphiSm (IN $D({{\mathCAl C}})$) $\thetA :{{\MAtHcal c}}\to \nu _*M$ (where $\nu _*:D({{\matHCaL b}}^0 \otimes
    {{\mathcal c}})\to D({{\maThCAl c}})$ IS thE fuNctor of resTrIctioN Of scalaRS cORREspONding to the natUral homomorPHisM $\nu :{{\matHcAl C}}^0  \TO {{\mathcAl B}}\otImES {{\maThcal C}}^0$);

-   and $\thEta :M{\Stackrel{\bl}{\otimeS }}_{{{\Mathcal c}}}K\to k$ is aN isomoRphIsm In $D({{\mAThCaL B}}^0)$.

THe COmpOSiTioN Of 1-mOrphisms $$1\TeXt{-}\hom({{\maThcaL b}},{{\MAThcaL C}})\tImes 1\Text{-}\HOm({{\mathcal C}},{{\matHcaL D}})\to
1\TExt{-}\hom({{\maThcal b}},{{\matHcAl D}})$$ is DefineD by thE tEnsor product $\cdoT
 \staCkrel{\bL}{\otImeS}_{{{\mAthCaL C}}}\cdoT $. given 1-mOrpHisMs $(M_1,\thetA _1), (M_2,\theta _2)\IN
1\teXt{-}\hOM({{\MaThcal B}},{{\mathcal C}})$ a 2-morPhISM $f: (m_1,\theta _1)\to
(m_2,\theta _2)$ IS aN iSOmorphisM (iN $D({{\mAthcAL b}}^0 \otimEs {{\maTHcAl C}})$) $f:M_1\to M_2$ Such thAT $\tHeTa _1=\theta _2\CdOt
(f){\staCkRel{\BL}{\oTimes}}_{{{\MAthcAl C}}}k$. So In particUlar tHE category $1\text{-}\HOM({{\mathcal B}},{{\mathCAl c}})$ IS a GRoupOid. denote by $2^\priMe\teXT{-}{\opeRatoRNaMe{dGArt}}$ thE full 2-SuBCaTEgory of $2^\prime\text{-}{\opeRaTornamE{dgalG}}$ consisting of Artinian DG ALGEbras. SimIlarLY wE Define the full 2-sUb
 in the opposite direction .

We defi ne th e 2 -ca te gory  $2^ \prime \text{- } {\op eratorname{dgalg}}$ of  DG a lg e bras as  foll ows. Th e  o b j ect sar e D Ga lg ebras . F or DG a lgebras ${ {\m at hcal B}}, {{ \ ma thcal C}}$  th e collection  of  1-mor ph ism s  $1\t ext {-}\H om({{\ m athcal  B}},{{\m at h cal C} } )$ cons i s ts  ofpairs $(M,\theta) $ ,w here

-   $M\i n D({{ \m a th c a l B }}^ 0 \otimes{{ \math c al C}}) $  a n d the r e exists an i somorphism( in$D({{\ ma thc a l C}}) $) $\ th e ta:{{\mathcal  C}} \to \nu _ *M$ (w h ere $\n u  _*:D({ {\math cal  B} }^0\ ot im es  {{ \ ma thc a l C }})\to D ({ {\ mathc al C } } ) $  isthe  fun ctorof restrictio n o f sc a lar s cor respo ndin gto th e natu ral h om omorphism $\nu:{{\ mathcal C }}^ 0 \t o{{\ma t hcal B }}\ oti mes {{\ mathcal C}} ^0 $ ) ; 
-   and $\theta :M {\ s t ac krel{\bL }{\oti m es  } } _{{{\mat hc alC}}} k \ to k$  isa nisomorph ism in $D ({ {\mathc al  B}}^0 )$ .
The  comp o siti on of1-morphi sms $ $ 1\text{-}\Hom( { {\mathcal B}} , {{ \ m at h calC}} )\times 1\t ext{ - }\Ho m({{ \ ma thc a l C}} ,{{\m at h ca l  D}})\to
1\text{-}\ Ho m({{\m athca l B}},{{\math cal D}})$$ i s  defined  byt he tensor product  $\cd ot
 \stack r el{\bL}{ \otim es}_{{{\ mathcal C } } }\cdot $ . G ive n 1 -mo r p hi sms $(M_1,\th e t a _1 ),  (M_2,\ the ta _2)\ in1\t ext {-} \H om({{\mat hcal B}} ,{ {\ ma th cal  C}}) $  a 2-mor ph ism  $ f:(M_1, \ theta_1)\t o
(M _2 ,\ t het a _2)$i sa n  iso mo rp hism  (i n$D({{ \mat h cal  B}}^0\otimes { {\m a thca lC} })$) $f :M_1\to M_2$su ch that $\ th eta  _1=\t h e ta _2\cd ot
(f){\stackrel{\bL}{\ o times}} _{{ {\mat hcal  C}}}k$.Soin par tic u lar th e cate gory$1 \te x t {-}\H o m ({ {\m at hcal B}},{ { \ mat hcalC} })$is a gr oupoid. Denote by$ 2^\ prime\text{-} {\o pera t o rn ame { dg a rt} }$ the f ull 2-subcatego ry of $2^\ pr i me \text{-}{\ o per at orname{ dgalg}} $ con s istingof artini an DG alg eb ras. S imi larly we d efine th e full 2- s ub
 in_the opposite_direction.

We define the 2-category_$2^\prime \text{-}{\operatorname{dgalg}}$_of_DG algebras_as_follows. The objects_are DG algebras._For DG algebras ${{\mathcal_B}}, {{\mathcal C}}$_the_collection of 1-morphisms $1\text{-}\Hom({{\mathcal B}},{{\mathcal C}})$ consists of pairs $(M,\theta)$, where

-   $M\in_D({{\mathcal_B}}^0 \otimes_{{\mathcal_C}})$_and there exists an isomorphism_(in $D({{\mathcal C}})$) $\theta :{{\mathcal_C}}\to \nu__*M$ (where $\nu _*:D({{\mathcal B}}^0 \otimes
  __{{\mathcal C}})\to D({{\mathcal_C}})$ is the functor of restriction of scalars corresponding_to the natural homomorphism $\nu :{{\mathcal_C}}^0  \to_{{\mathcal_B}}\otimes_{{\mathcal C}}^0$);

-  _and $\theta :M{\stackrel{\bL}{\otimes }}_{{{\mathcal C}}}k\to k$_is an isomorphism in $D({{\mathcal B}}^0)$.

The_composition of 1-morphisms $$1\text{-}\Hom({{\mathcal B}},{{\mathcal C}})\times 1\text{-}\Hom({{\mathcal_C}},{{\mathcal D}})\to
1\text{-}\Hom({{\mathcal B}},{{\mathcal D}})$$ is defined_by the tensor product $\cdot
_\stackrel{\bL}{\otimes}_{{{\mathcal C}}}\cdot_$. Given 1-morphisms $(M_1,\theta _1),_(M_2,\theta _2)\in
1\text{-}\Hom({{\mathcal B}},{{\mathcal_C}})$ a_2-morphism $f: (M_1,\theta__1)\to
(M_2,\theta _2)$ is an isomorphism (in_$D({{\mathcal B}}^0 \otimes_{{\mathcal C}})$) $f:M_1\to M_2$ such that_$\theta__1=\theta _2\cdot
(f){\stackrel{\bL}{\otimes}}_{{{\mathcal C}}}k$._So_in_particular the_category $1\text{-}\Hom({{\mathcal B}},{{\mathcal_C}})$_is a_groupoid._Denote by $2^\prime\text{-}{\operatorname{dgart}}$ the full 2-subcategory_of_$2^\prime\text{-}{\operatorname{dgalg}}$ consisting of artinian DG algebras. Similarly_we define the full_2-sub