{w}(T)),H_t(R,Q,L)_A(T))
    \\
    &{\cong}\bigoplus_{T\in\mathsf{Q}_s(A)}
    \operatorname{Hom}(H_s(\underline{w}(T)),(H_*R,H_*Q,H_*L)_A(T)_t) \\
    &{\cong}\Omega(H_*R,H_*Q,H_*L)_{s,t}(A). \\
\end{split}$$ In particular we use the fact that we are working with spectra and not based spaces to get the isomorphism $$H_{-s+t}\operatorname{Map}(\underline{w}(T),X) {\cong}H_{-s+t}(\Sigma^{-s}X) {\cong}H_t X {\cong}\operatorname{Hom}(H_s(\underline{w}(T)),H_t X)$$ that replaces an application of the Künneth formula in the bar construction case.

Notice that the spectral sequence for the bar construction lies in the right half-plane (and the first quadrant if the objects $R(A),P(A),L(A)$ only have non-negative homology). That for the cobar construction lies in the left half-plane (and the second quadrant if the objects $R(A),Q(A),L(A)$ only have non-negative homology).

The link to Koszul duality {#sec:koszul}
--------------------------

We now use our spectral sequence to look at the relationship between the bar construction on an operad in based spaces or spectra and Koszul duality. Koszul duality for operads initially appeared in Ginzburg–Kapranov [@ginzburg/kapranov:1994]. Further references include Getzler–Jones [@getzler/jones:1994] and Fresse [@fresse:2004].

The main result of this section is that if $P$ is a reduced operad in based spaces or spectra such that $H_*P$ is a Koszul operad in graded $k$–modules, then the spectral sequence for calculating $H_*B(P)$ collapses at the $E^2$–term and we conclude that $H_*B(P)$ is the Koszul dual cooperad of $H_*P$. This result is a simple consequence of the definitions of a Kosz
{ w}(T)),H_t(R, Q, L)_A(T) ) 
     \\ 
     & { \cong}\bigoplus_{T\in\mathsf{Q}_s(A) } 
     \operatorname{Hom}(H_s(\underline{w}(T)),(H_*R, H_*Q, H_*L)_A(T)_t) \\ 
     & { \cong}\Omega(H_*R, H_*Q, H_*L)_{s, t}(A). \\ 
 \end{split}$$ In particular we use the fact that we are working with spectra and not based space to make the isomorphism $ $ H_{-s+t}\operatorname{Map}(\underline{w}(T),X) { \cong}H_{-s+t}(\Sigma^{-s}X) { \cong}H_t X { \cong}\operatorname{Hom}(H_s(\underline{w}(T)),H_t X)$$ that replaces an application of the Künneth formula in the measure construction case. 

 comment that the apparitional sequence for the bar construction lies in the right half - airplane (and the first quadrant if the objects $ R(A),P(A),L(A)$ only have non - damaging homology). That for the cobar construction lies in the left half - plane (and the second quadrant if the objects $ R(A),Q(A),L(A)$ merely have non - negative homology). 

 The link to Koszul dichotomy { # sec: koszul } 
 -------------------------- 

 We now use our apparitional sequence to search at the relationship between the bar construction on an operad in based spaces or spectra and Koszul dichotomy. Koszul duality for operads initially appeared in Ginzburg – Kapranov [ @ginzburg / kapranov:1994 ]. Further references include Getzler – Jones [ @getzler / jones:1994 ] and Fresse [ @fresse:2004 ]. 

 The main result of this incision is that if $ P$ is a reduced operad in based spaces or spectra such that $ H_*P$ is a Koszul operad in graded $ k$–modules, then the spectral sequence for calculating $ H_*B(P)$ collapses at the $ E^2$–term and we conclude that $ H_*B(P)$ is the Koszul double cooperad of $ H_*P$. This result is a simple consequence of the definition of a Kosz
{w}(T)),H_h(R,Q,L)_A(T))
    \\
    &{\cong}\bigoplms_{T\in\mathsf{Q}_s(A)}
    \operavorname{Gom}(H_s(\unddrline{w}(T)),(H_*R,H_*Q,H_*L)_A(T)_t) \\
    &{\cong}\Omxga(H_*E,H_*Q,H_*L)_{w,t}(A). \\
\end{split}$$ In particjlar we ude the fqct uhat we are workiif with spectrz and iot based spacex to get tve isomorphism $$H_{-r+t}\lperatorname{Map}(\underline{w}(T),X) {\cong}H_{-s+t}(\Figma^{-s}X) {\clng}H_t X {\cong}\opgratognwme{Hkm}(H_s(\underline{w}(T)),H_t X)$$ that replaces zn applpcation of the Künmeth formula in the bar cojstrkction case.

Notice hhat the spgdtrwo sequence fur the bar constructioh lies in the right half-plane (avd thz first quaerqnt hf the objerts $R(A),I(A),L(A)$ only havc non-necative nomology). That nor tie cibar construction liev in the left half-klane (and dhz second quadrant if rhw objgcts $S(A),Q(A),U(Q)$ ovly heve non-nehatmve homologg).

The link ti Koszul duality {#sev:kjwzul}
--------------------------

We now uss our fpqctral sequence to look at the relationvhil between the bar consteuction on an operad ln based fpaces or spectra and Koszul duality. Koszul dualidy foc upexqds ivutlally appeared in Ginzburg–Kapranov [@ginzburg/ka[damon:1994]. Further referenges include Getzlet–Jlnrf [@getzler/joner:1994] and Ydease [@fresse:2004].

The main result of tyis sectijn ix that if $P$ is a reduced opwrad in baseb spaces or spectra sbch that $H_*P$ ns a Kpszul operad in graded $k$–moduues, fhen the spfctral sesjence for calculxtikg $V_*B(P)$ collapses at the $E^2$–term and we cinclbde that $H_*B(P)$ is thq Koszul dkal cooperad of $H_*P$. This gesulj is a simple cojsequence of the definitions of a Kosz
{w}(T)),H_t(R,Q,L)_A(T)) \\ &{\cong}\bigoplus_{T\in\mathsf{Q}_s(A)} \operatorname{Hom}(H_s(\underline{w}(T)),(H_*R,H_*Q,H_*L)_A(T)_t) \\ &{\cong}\Omega(H_*R,H_*Q,H_*L)_{s,t}(A). \\ particular use the that we are based to get the $$H_{-s+t}\operatorname{Map}(\underline{w}(T),X) {\cong}H_{-s+t}(\Sigma^{-s}X) {\cong}H_t {\cong}\operatorname{Hom}(H_s(\underline{w}(T)),H_t X)$$ that replaces an application the Künneth formula in the bar construction case. Notice that the spectral sequence the bar construction lies in the right half-plane (and the first quadrant if objects only non-negative That for the cobar construction lies in the left half-plane (and the second quadrant if the $R(A),Q(A),L(A)$ only have non-negative homology). The link to duality {#sec:koszul} -------------------------- We use our spectral sequence to at relationship between bar on operad in based or spectra and Koszul duality. Koszul duality for operads initially appeared in Ginzburg–Kapranov [@ginzburg/kapranov:1994]. Further references include [@getzler/jones:1994] and The main of section that if $P$ reduced operad in based spaces or $H_*P$ is a Koszul operad in graded $k$–modules, the spectral for calculating $H_*B(P)$ collapses at the and we conclude that $H_*B(P)$ is the Koszul cooperad of $H_*P$. This result is a simple consequence of the definitions of a Kosz
{w}(T)),H_t(R,Q,L)_A(T))
    \\
    &{\cong}\bigoplus_{T\in\mAthsf{Q}_s(A)}
    \opEratoRnaMe{HOm}(h_s(\unDerlIne{w}(T)),(H_*R,H_*Q,H_*L)_A(T)_t) \\
    &{\COng}\OMega(H_*R,H_*Q,H_*L)_{s,t}(A). \\
\end{split}$$ IN partIcULar wE UsE the fAct that WE aRE WorKiNg WitH sPEcTra anD noT based sPaces to get The IsOmorphism $$H_{-s+t}\OPeRatorname{MAp}(\uNderline{w}(T),X) {\cOng}h_{-s+t}(\SigMa^{-S}X) {\cONg}H_t X {\ConG}\operAtornaME{Hom}(H_s(\Underline{W}(T)),h_T X)$$ that REplaces AN ApPlicAtion of the Künneth FOrMUla in the bar conStructIoN CaSE.

notIce That the speCtRal seQUence foR ThE BAR coNStruction lies In the right hALf-pLane (anD tHe fIRst quaDrant If THe oBjects $R(A),P(A),L(a)$ onlY have non-nEgativE HomologY). that for The cobAr cOnsTrucTIoN lIes In THe lEFt HalF-PlaNe (and the SeCoNd quaDranT IF THe obJecTs $R(A),q(A),L(A)$ oNly have non-negAtiVe hoMOloGy).

The Link tO KosZuL dualIty {#sec:KoszuL}
--------------------------

WE now use our spectRal sEquence to LooK aT thE rElatiONship bEtwEen The bar cOnstrucTIon On AN OPeRad in based spaces or SpECTrA and KoszUl dualITy. koSZul dualiTy For OperADS initIallY ApPeared in ginzbuRG–KApRanov [@giNzBurg/kaPrAnoV:1994]. FuRther REferEnces iNclude GeTzler–jOnes [@getzler/jonES:1994] and Fresse [@freSSe:2004].

tHE mAIn reSulT of this sectIon iS That If $P$ iS A rEduCEd opeRad in BaSEd SPaces or spectra such tHaT $H_*P$ is a koszuL operad in gradEd $k$–modules, THEN the specTral SEqUEnce for calculaTing $H_*b(P)$ collapseS At the $E^2$–teRm and We concluDe that $H_*B(P)$ IS The KoszuL duAl cOopEraD OF $H_*p$. This result is A SImplE cOnsequeNce Of the deFinItiOns Of a koSz
{w}(T)),H_t(R,Q,L)_A(T))
   \\
   &{\co ng} \bi go plus _{T\ in\mathsf{Q}_s ( A)}    \operatorname{Hom} (H_s( \u n derl i ne {w}(T )),(H_* R ,H _ * Q,H _* L) _A( T) _ t)  \\
  &{\cong }\Omega(H_ *R, H_ *Q,H_*L)_{s, t }( A). \\
\en d{s plit}$$ In p art icular  w e u s e the  fa ct th at wea re wor king with  s p ectraa nd notb a se d sp aces to get the i s om o rphism $$H_{-s +t}\op er a to r n ame {Ma p}(\underl in e{w}( T ),X) {\ c on g } H _{- s +t}(\Sigma^{- s}X) {\cong } H_t  X {\c on g}\ o perato rname {H o m}( H_s(\underl ine{ w}(T)),H_ t X)$$ that re p laces a n appl ica tio n of th eKün ne t h f o rm ula inthe barco ns truct ionc a s e .

N oti ce t hat t he spectral s equ ence for  thebar c onst ru ction  liesin th eright half-plan e (a nd the fi rst  q uad ra nt if the ob jec ts$R(A),P (A),L(A ) $ o nl y h av e non-negative hom ol o g y) . That f or the co ba r  constru ct ion  lie s in th e le f thalf-pla ne (an d  t he  second  q uadran tifthe  obje c ts $ R(A),Q (A),L(A) $ onl y  have non-nega t ive homology) . 
T h el inktoKoszul dual ity{ #sec :kos z ul }
- - ----- ----- -- - -- - --------

We now us eour sp ectra l sequence to  look at t h e relation ship be t ween the bar c onstr uction ona n operad  in b ased spa ces or sp e c tra andKos zul  du ali t y .Koszul dualit y forop erads i nit ially a ppe are d i n G in zburg–Kap ranov [@ gi nz bu rg /ka prano v :1994].Fu rth er  re feren c es inc ludeGetz le r– J one s [@get z le r / jone s: 19 94]and  F resse  [@f r ess e:2004] .

The ma inr esul tof  this s ection is tha tif $P$ isared uced o p e rad in b ased spaces or spectras uch tha t $ H_*P$  isa Koszulope rad in  gr a ded $k $–modu les,th ent h e spe c t ra l s eq uence forc a lcu latin g$H_* B(P)$ c ollapses at the $E ^ 2$– term and we c onc lude t ha t $ H _* B (P) $i s t h e  Koszul dual co operad of$H _ *P $. This re s ult  i s a sim ple con seque n ce of t he defini tions ofaKosz 
{w}(T)),H_t(R,Q,L)_A(T))
 _ _\\
   _&{\cong}\bigoplus_{T\in\mathsf{Q}_s(A)}
 __ \operatorname{Hom}(H_s(\underline{w}(T)),(H_*R,H_*Q,H_*L)_A(T)_t)_\\
_  _&{\cong}\Omega(H_*R,H_*Q,H_*L)_{s,t}(A). \\
\end{split}$$ In_particular we use the_fact that we_are_working with spectra and not based spaces to get the isomorphism $$H_{-s+t}\operatorname{Map}(\underline{w}(T),X) {\cong}H_{-s+t}(\Sigma^{-s}X) {\cong}H_t_X_{\cong}\operatorname{Hom}(H_s(\underline{w}(T)),H_t X)$$_that_replaces_an application of the Künneth_formula in the bar construction_case.

Notice that_the spectral sequence for the bar construction lies_in_the right half-plane_(and the first quadrant if the objects $R(A),P(A),L(A)$ only_have non-negative homology). That for the_cobar construction lies_in_the_left half-plane (and the_second quadrant if the objects $R(A),Q(A),L(A)$_only have non-negative homology).

The link to_Koszul duality {#sec:koszul}
--------------------------

We now use our spectral_sequence to look at the relationship_between the bar construction on_an operad_in based spaces or spectra_and Koszul duality._Koszul duality_for operads initially_appeared in Ginzburg–Kapranov [@ginzburg/kapranov:1994]. Further references_include Getzler–Jones [@getzler/jones:1994]_and Fresse [@fresse:2004].

The main result of_this_section is that_if_$P$_is a_reduced operad in_based_spaces or_spectra_such that $H_*P$ is a Koszul_operad_in graded $k$–modules, then the spectral sequence_for calculating $H_*B(P)$ collapses_at_the $E^2$–term and we_conclude that $H_*B(P)$ is the_Koszul dual cooperad of $H_*P$. This_result is_a simple_consequence of the definitions of a Kosz