y CDGAs
--------------------------------------------------

Given a DG Artin $N$-hypergroupoid $X$, and an $O(X)$-module $M$, we may pull $M$ back along the unit $\eta \co O(X) \to DD^*O(X)$ of the adjunction $D^*\dashv D$, and then apply Lemma \[denormmod\] to obtain a $D^*O(X)$-module $N_c\eta^*M$.

As for instance in [@stacks2 Definition \[stacks2-delta\*\]], define almost cosimplicial diagrams to be functors on the subcategory $\Delta_*$ of the ordinal number category $\Delta$ containing only those morphisms $f$ with $f(0)=0$; define almost simplicial diagrams dually. Thus an almost simplicial diagram $X_*$ in $\C$ consists of objects $X_n \in \C$, with all of the operations $\pd_i, \sigma_i$ of a simplicial diagram except $\pd_0$, satisfying the usual relations.

Given a simplicial (resp. cosimplicial) diagram $X$, we write $X_{\#}$ (resp. $X^{\#}$) for the underlying almost simplicial diagram (resp. almost cosimplicial) diagram.

The denormalisation functor $D$ descends to a functor from graded-commutative algebras to almost cosimplicial algebras, with $D^*$ thus descending to a functor in the opposite direction. In other words, $(D^*B)^{\#}$ does not depend on $\pd^0_B$, and $\pd^0_{DA}$ is the only part of the structure on $DA$ to depend on $\pd_A$.

From this, it can be seen that for any DG Artin $N$-hypergroupoid $X$, the graded-commutative algebra $\H_0D^*O(X)^{\#}$ is freely generated over $\H_0O(X)^0= \H_0D^*O(X)^0$ by a graded projective module, and that $$\H_i^*O(X)^{\#}\cong \H_0D^*O(X)^{\#}\ten_{\H_0O(X)^0}\H_iO(X)^0.$$

If $M$ is a homotopy-Cartesian $O(X)$-module, the map $$(\eta^*M)^0\ten_{D^0
y CDGAs 
 -------------------------------------------------- 

 Given a DG Artin $ N$-hypergroupoid $ X$, and an $ O(X)$-module $ M$, we may pull $ M$ back along the unit $ \eta \co O(X) \to DD^*O(X)$ of the adjunction $ D^*\dashv D$, and then lend oneself Lemma \[denormmod\ ] to receive a $ D^*O(X)$-module $ N_c\eta^*M$. 

 As for instance in [ @stacks2 Definition \[stacks2 - delta\*\ ] ], define almost cosimplicial diagram to be functors on the subcategory $ \Delta_*$ of the ordinal number category $ \Delta$ containing merely those morphisms $ f$ with $ f(0)=0 $; define almost simplicial diagram dually. therefore an almost simplicial diagram $ X_*$ in $ \C$ consists of object $ X_n \in \C$, with all of the operations $ \pd_i, \sigma_i$ of a simplicial diagram except $ \pd_0 $, satisfying the usual relation. 

 Given a simplicial (resp. cosimplicial) diagram $ X$, we spell $ X_{\#}$ (resp. $ X^{\#}$) for the underlying almost simplicial diagram (resp. about cosimplicial) diagram. 

 The denormalisation functor $ D$ descends to a functor from graded - commutative algebras to about cosimplicial algebras, with $ D^*$ thus descending to a functor in the opposite direction. In early words, $ (D^*B)^{\#}$ does not count on $ \pd^0_B$, and $ \pd^0_{DA}$ is the only part of the structure on $ DA$ to depend on $ \pd_A$. 

 From this, it can be see that for any DG Artin $ N$-hypergroupoid $ X$, the graded - commutative algebra $ \H_0D^*O(X)^{\#}$ is freely generated over $ \H_0O(X)^0= \H_0D^*O(X)^0 $ by a graded projective module, and that $ $ \H_i^*O(X)^{\#}\cong \H_0D^*O(X)^{\#}\ten_{\H_0O(X)^0}\H_iO(X)^0.$$ 

 If $ M$ is a homotopy - Cartesian $ O(X)$-module, the map $ $ (\eta^*M)^0\ten_{D^0
y CFGAs
--------------------------------------------------

Given a DG Artin $N$-hykergroupoid $X$, and an $O(X)$-mmdule $J$, we may pull $M$ back along the unit $\xta \xo O(X) \to DD^*O(X)$ of the adjuncgion $D^*\dasjv D$, and thei apply Lemma \[deikrmmod\] bj obfwin c $V^*O(X)$-module $N_c\eta^*K$.

As for invtance in [@stacns2 Dzfinition \[stacks2-delta\*\]], define almost sosimploclal diagrams tj be suncfors on the subcategory $\Delta_*$ of tge ordiial number catebory $\Delta$ containing only thode morphisms $f$ witj $f(0)=0$; define qlmofr simplicial diagrams dually. Thus zn almost simplicial diagram $X_*$ kn $\C$ eonsists of ovjefjs $X_n \in \C$, wmth alj of the opevstions $\pd_i, \sibma_i$ of a simpkicmal eiagram except $\pd_0$, satmsfying the usual rejations.

Gieeu a simplicial (resp. cisumpliwial) diaeeam $X$, se wdite $X_{\#}$ (reap. $X^{\#}$) for tge underlyibg almost simpliciak qpsgram (resp. ammost sofimplicial) diagram.

The denormalisation flnctkr $D$ descends to a funcror from graded-commutwtive algqbras to almost cosimplicial algebras, with $D^*$ thus descxnainy to a dujctor in the opposite direction. In other wordf, $(D^*N)^{\#}$ coes not depenb on $\pd^0_B$, and $\pd^0_{DS}$ ls jhe only part uf the stducture on $DA$ to dfpend og $\pd_A$.

Drom this, it van be seen that for any DG Artin $N$-hypeggroypoid $X$, the graded-eommutative clgebrs $\H_0D^*O(C)^{\#}$ is freely generated orer $\H_0O(S)^0= \H_0D^*O(X)^0$ by a graded pdujective module, xnd tvat $$\H_i^*O(X)^{\#}\cong \H_0D^*O(X)^{\#}\ten_{\H_0O(X)^0}\H_iO(V)^0.$$

If $M$ is e homptopy-Caftesoan $O(X)$-iodule, the map $$(\cda^*M)^0\ten_{D^0
y CDGAs -------------------------------------------------- Given a DG Artin and $O(X)$-module $M$, may pull $M$ \co \to DD^*O(X)$ of adjunction $D^*\dashv D$, then apply Lemma \[denormmod\] to obtain $D^*O(X)$-module $N_c\eta^*M$. As for instance in [@stacks2 Definition \[stacks2-delta\*\]], define almost cosimplicial diagrams be functors on the subcategory $\Delta_*$ of the ordinal number category $\Delta$ containing those $f$ $f(0)=0$; almost simplicial diagrams dually. Thus an almost simplicial diagram $X_*$ in $\C$ consists of objects $X_n \C$, with all of the operations $\pd_i, \sigma_i$ a simplicial diagram except satisfying the usual relations. Given simplicial cosimplicial) diagram we $X_{\#}$ $X^{\#}$) for the almost simplicial diagram (resp. almost cosimplicial) diagram. The denormalisation functor $D$ descends to a functor from graded-commutative to almost with $D^*$ descending a in the opposite other words, $(D^*B)^{\#}$ does not depend $\pd^0_{DA}$ is the only part of the structure $DA$ to on $\pd_A$. From this, it can seen that for any DG Artin $N$-hypergroupoid $X$, graded-commutative algebra $\H_0D^*O(X)^{\#}$ is freely generated over $\H_0O(X)^0= \H_0D^*O(X)^0$ by a graded projective module, and \H_0D^*O(X)^{\#}\ten_{\H_0O(X)^0}\H_iO(X)^0.$$ If $M$ is homotopy-Cartesian $O(X)$-module, the $$(\eta^*M)^0\ten_{D^0
y CDGAs
--------------------------------------------------

Given a DG Artin $N$-hyperGroupoid $X$, aNd an $O(x)$-moDulE $M$, We maY pulL $M$ back along the UNit $\eTa \co O(X) \to DD^*O(X)$ of the adjunCtion $d^*\dAShv D$, ANd Then aPply LemMA \[dENOrmMoD\] tO obTaIN a $d^*O(X)$-moDulE $N_c\eta^*M$.

as for instaNce In [@Stacks2 DefiniTIoN \[stacks2-delTa\*\]], dEfine almost cOsiMpliciAl DiaGRams tO be FunctOrs on tHE subcaTegory $\DelTa_*$ OF the orDInal numBER cAtegOry $\Delta$ containinG OnLY those morphismS $f$ with $F(0)=0$; dEFiNE AlmOst Simplicial DiAgramS Dually. THUs AN ALmoST simplicial diAgram $X_*$ in $\C$ coNSisTs of obJeCts $x_N \in \C$, wiTh all Of THe oPerations $\pd_I, \sigMa_i$ of a simPliciaL Diagram EXcept $\pd_0$, SatisfYinG thE usuAL rElAtiOnS.

givEN a SimPLicIal (resp. cOsImPliciAl) diAGRAM $X$, we WriTe $X_{\#}$ (rEsp. $X^{\#}$) fOr the underlyiNg aLmosT SimPliciAl diaGram (ReSp. almOst cosImpliCiAl) diagram.

The denOrmaLisation fUncToR $D$ dEsCends TO a funcTor FroM graded-CommutaTIve AlGEBRaS to almost cosimplicIaL ALgEbras, witH $D^*$ thus DEsCeNDing to a fUnCtoR in tHE OpposIte dIReCtion. In oTher woRDs, $(d^*B)^{\#}$ Does not DePend on $\Pd^0_b$, anD $\pd^0_{dA}$ is tHE onlY part oF the struCture ON $DA$ to depend on $\pD_a$.

From this, it caN Be SEEn THat fOr aNy DG Artin $N$-hYperGRoupOid $X$, THe GraDEd-comMutatIvE AlGEbra $\H_0D^*O(X)^{\#}$ is freely genErAted ovEr $\H_0O(X)^0= \h_0D^*O(X)^0$ by a graded Projective MODUle, and thAt $$\H_i^*o(x)^{\#}\cONg \H_0D^*O(X)^{\#}\ten_{\H_0O(X)^0}\H_io(X)^0.$$

If $M$ Is a homotopY-cartesiaN $O(X)$-moDule, the mAp $$(\eta^*M)^0\ten_{d^0
y CDGAs
------------------ ---------- ----- --- --- -- ---- ---- -

Given a DGA rtin  $N$-hypergroupoid $X$ , and  a n  $O( X )$ -modu le $M$, we m aypu ll  $M $b ac k alo ngthe uni t $\eta \c o O (X ) \to DD^*O( X )$  of the ad jun ction $D^*\d ash v D$,an d t h en ap ply  Lemm a \[de n ormmod \] to obt ai n  a $D^ * O(X)$-m o d ul e $N _c\eta^*M$.

As f o ri nstance in [@s tacks2  D e fi n i tio n \ [stacks2-d el ta\*\ ] ], defi n ea l m ost cosimplicialdiagrams to befuncto rs  on the su bcate go r y $ \Delta_*$ o f th e ordinal  numbe r  catego r y $\Del ta$ co nta ini ng o n ly  t hos em orp h is ms$ f$with $f( 0) =0 $; de fine a l m ostsim plic ial d iagrams duall y.Thus analmos t sim plic ia l dia gram $ X_*$in  $\C$ consistsof o bjects $X _n\i n \ C$ , wit h  all o f t heoperati ons $\p d _i,  \ s i g ma _i$ of a simplicia ld i ag ram exce pt $\p d _0 $, satisfyi ng  th e us u a l rel atio n s. 

Givena simp l ic ia l (resp .cosimp li cia l)diagr a m $X $, wewrite $X _{\#} $  (resp. $X^{\# } $) for the un d er l y in g  alm ost  simplicial  dia g ram(res p .alm o st co simpl ic i al )  diagram.

The deno rm alisat ion f unctor $D$ de scends toa f unctor f romg ra d ed-commutative  alge bras to al m ost cosi mplic ial alge bras, wit h $D^*$ th usdes cen din g to  a functor in t he o pp osite d ire ction.Inoth erwor ds , $(D^*B) ^{\#}$ d oe sno tdep end o n  $\pd^0_ B$ , a nd  $\ pd^0_ { DA}$ i s the  onl ypa r t o f the s t ru c t ureon  $ DA$tode pendon $ \ pd_ A$.

Fr om this,itc an b ese en that  for any DG A rt in $N$-hyp er gro upoid$ X $, the g raded-commutative algeb r a $\H_0 D^* O(X)^ {\#} $ is free lygenera ted over $ \H_0O( X)^0=  \ H_0 D ^ *O(X) ^ 0 $byagraded pro j e cti ve mo du le,and tha t $$\H_i^*O(X)^{\# } \co ng \H_0D^*O(X )^{ \#}\ t e n_ {\H _ 0O ( X)^ 0} \ H_i O ( X)^0.$$

If $M$  is a homo to p y- Cartesian$ O(X )$ -module , the m ap $$ ( \eta^*M )^0\ten_{ D^0
y CDGAs
--------------------------------------------------

Given_a DG_Artin $N$-hypergroupoid $X$, and_an $O(X)$-module_$M$,_we may_pull_$M$ back along_the unit $\eta_\co O(X) \to DD^*O(X)$_of the adjunction_$D^*\dashv_D$, and then apply Lemma \[denormmod\] to obtain a $D^*O(X)$-module $N_c\eta^*M$.

As for instance in_[@stacks2_Definition \[stacks2-delta\*\]],_define_almost_cosimplicial diagrams to be functors_on the subcategory $\Delta_*$ of_the ordinal_number category $\Delta$ containing only those morphisms $f$_with_$f(0)=0$; define almost_simplicial diagrams dually. Thus an almost simplicial diagram $X_*$_in $\C$ consists of objects $X_n_\in \C$, with_all_of_the operations $\pd_i, \sigma_i$_of a simplicial diagram except $\pd_0$,_satisfying the usual relations.

Given a simplicial_(resp. cosimplicial) diagram $X$, we write $X_{\#}$_(resp. $X^{\#}$) for the underlying almost_simplicial diagram (resp. almost cosimplicial)_diagram.

The denormalisation_functor $D$ descends to a_functor from graded-commutative_algebras to_almost cosimplicial algebras,_with $D^*$ thus descending to a_functor in the_opposite direction. In other words, $(D^*B)^{\#}$_does_not depend on_$\pd^0_B$,_and_$\pd^0_{DA}$ is_the only part_of_the structure_on_$DA$ to depend on $\pd_A$.

From this,_it_can be seen that for any DG_Artin $N$-hypergroupoid $X$, the_graded-commutative_algebra $\H_0D^*O(X)^{\#}$ is freely_generated over $\H_0O(X)^0= \H_0D^*O(X)^0$ by_a graded projective module, and that_$$\H_i^*O(X)^{\#}\cong \H_0D^*O(X)^{\#}\ten_{\H_0O(X)^0}\H_iO(X)^0.$$

If_$M$ is_a homotopy-Cartesian $O(X)$-module, the map $$(\eta^*M)^0\ten_{D^0