) \barwedge Q(A_1) \barwedge \dots \barwedge Q(A_r).$$ A *bicomodule* is a symmetric sequence with compatible left and right comodule structures. The cooperad $Q$ is itself a $(Q,Q)$–bicomodule.

A *coalgebra* over a cooperad is the dual concept of an algebra over an operad and the constant symmetric sequence with value equal to a $Q$–coalgebra is a left $Q$–comodule.

Spaces of trees {#sec:trees}
===============

As mentioned in the introduction to the paper, the key to finding a cooperad structure on the bar construction on an operad is its reinterpretation in terms of trees. These are the same sorts of trees used in many other places to work with operads. See Getzler–Jones [@getzler/jones:1994], Ginzburg–Kapranov [@ginzburg/kapranov:1994] and Markl–Shnider–Stasheff [@markl/shnider/stasheff:2002] for many examples.

\[def:tree\] A typical tree of the sort we want is shown in Figure \[fig:trees\]. It has a root element at the base, a single edge attached to the root, and no other vertices with only one incoming edge. We encode these geometric requirements in the following combinatorial definition. A *tree* $T$ is a finite poset satisfying the following conditions:

1.  $T$ has at least two elements: an initial (or minimal) element $r$, the *root*, and another element $b$ such that $b \leq t$ for all $t \in T$, $t \neq r$.

2.  For any elements $t,u,v \in T$, if $u \leq t$ and $v \leq t$, then either $u \leq v$ or $v \leq u$.

3.  For any $t < u$ in $T$ with $t \neq r$, there is some $v \in T$ such that $t < v$ but $u \nleq v$.

We picture a tree by its *graph*, whose vertices are the elements of $T$ with an edge between $t$ and $u$ if $t < u$ and there
) \barwedge Q(A_1) \barwedge \dots \barwedge Q(A_r).$$ A * bicomodule * is a symmetric sequence with compatible left and right comodule structure. The cooperad $ Q$ is itself a $ (Q, Q)$–bicomodule. 

 A * coalgebra * over a cooperad is the double concept of an algebra over an operad and the constant symmetric sequence with value adequate to a $ Q$–coalgebra is a left $ Q$–comodule. 

 Spaces of trees { # sec: tree } 
 = = = = = = = = = = = = = = = 

 As mentioned in the introduction to the composition, the key to finding a cooperad social organization on the bar construction on an operad is its reinterpretation in terms of trees. These are the like sorts of trees use in many other places to exploit with operads. See Getzler – Jones [ @getzler / jones:1994 ], Ginzburg – Kapranov [ @ginzburg / kapranov:1994 ] and Markl – Shnider – Stasheff [ @markl / shnider / stasheff:2002 ] for many examples. 

 \[def: tree\ ] A typical tree of the kind we want is shown in Figure \[fig: trees\ ]. It hold a solution element at the nucleotide, a single edge attached to the ancestor, and no other vertices with only one incoming edge. We encode these geometric requirements in the following combinatorial definition. A * tree * $ T$ is a finite poset satisfying the following conditions: 

 1.   $ T$ has at least two elements: an initial (or minimal) element $ r$, the * root *, and another element $ b$ such that $ b \leq t$ for all $ t \in T$, $ t \neq r$. 

 2.   For any elements $ t, uracil, v \in T$, if $ u \leq t$ and $ v \leq t$, then either $ uranium \leq v$ or $ v \leq u$. 

 3.   For any $ metric ton < u$ in $ T$ with $ t \neq r$, there is some $ v \in T$ such that $ t < v$ but $ uracil \nleq v$. 

 We picture a tree by its * graph *, whose vertices are the elements of $ T$ with an edge between $ t$ and $ u$ if $ thyroxine < u$ and there
) \bagwedge Q(A_1) \barwedge \dots \narwedge Q(A_r).$$ A *bnxomodune* is z symmetfic sequence with compatible lwft abd right comodule struztures. Thv cooperae $Q$ ms itself a $(Q,Q)$–birkmodule.

A *coalfcbra* mter a cooperad ls the dual concept of an augzbra over an operad and the constant symmettif sequence witr vakte eslao to a $Q$–coalgebra is a left $Q$–domodult.

Spaces of trees {#src:trees}
===============

As mentioned in the intgoduction to the pwper, the kei to dinding a couperad strleture on thg bar construction on an operad ks itx reinterptzratlmn in terms of tgees. These arc the sdme sorys of trees uscd in maby other places to wock with operads. See Detzler–Jotea [@getzler/jones:1994], Gibzvurg–Kdpratov [@eunzcurf/keprznov:1994] ajd Jarkl–Shnidsr–Stasheff [@narkl/shnider/stashefg:2002] sir many exampmes.

\[def:erqe\] A typical tree of the sort we want iv sgown in Figure \[fig:trees\]. It has a root elemenj at the bwse, a single edge attached to the root, and no othar vectkcew rkrh only one incoming edge. We encode these geomeediv gequirements in tme following combimahotyal definitiov. A *trzs* $F$ is a finite poseh satissying the folljwinb conditions:

1.  $T$ has at leasr two elemenns: ab initial (or minimcl) element $r$, the *root*, and another element $b$ ruch that $b \leq t$ for alm $t \in T$, $t \neq r$.

2.  Fog anf elemenur $t,u,v \in T$, if $u \lqq t$ and $t \leq t$, then eitner $u \jeq v$ or $v \leq m$.

3.  For any $t < u$ in $H$ witk $t \naq r$, there is some $v \in T$ such that $t < v$ unt $u \nleq v$.

We phctlre a trez by ibs *graph*, whose dertices are tke elemeuts of $T$ with an edge bxtween $t$ and $u$ if $t < u$ ang there
) \barwedge Q(A_1) \barwedge \dots \barwedge Q(A_r).$$ is symmetric sequence compatible left and $Q$ itself a $(Q,Q)$–bicomodule. *coalgebra* over a is the dual concept of an over an operad and the constant symmetric sequence with value equal to a is a left $Q$–comodule. Spaces of trees {#sec:trees} =============== As mentioned in the to paper, key finding a cooperad structure on the bar construction on an operad is its reinterpretation in terms trees. These are the same sorts of trees in many other places work with operads. See Getzler–Jones Ginzburg–Kapranov and Markl–Shnider–Stasheff for examples. A typical tree the sort we want is shown in Figure \[fig:trees\]. It has a root element at the base, single edge the root, no vertices only one incoming encode these geometric requirements in the A *tree* $T$ is a finite poset satisfying following conditions: $T$ has at least two elements: initial (or minimal) element $r$, the *root*, and element $b$ such that $b \leq t$ for all $t \in T$, $t \neq r$. any elements $t,u,v \in if $u \leq and \leq then $u \leq or $v \leq u$. 3. For any $t < u$ in with $t \neq r$, there is some $v \in T$ $t v$ but $u v$. We picture a by *graph*, whose vertices are of with $t$ $u$ $t < u$ and
) \barwedge Q(A_1) \barwedge \dots \barWedge Q(A_r).$$ A *bIcomoDulE* is A sYmmeTric Sequence with coMPatiBle left and right comodulE struCtURes. THE cOoperAd $Q$ is itSElF A $(q,Q)$–bIcOmOduLe.

a *CoAlgebRa* oVer a cooPerad is the DuaL cOncept of an alGEbRa over an opEraD and the constAnt SymmetRiC seQUence WitH valuE equal TO a $Q$–coaLgebra is a LeFT $Q$–comoDUle.

SpacES Of TreeS {#sec:trees}
===============

As mentioNEd IN the introductiOn to thE pAPeR, THe kEy tO finding a cOoPerad STructurE On THE Bar COnstruction on An operad is iTS reInterpReTatIOn in teRms of TrEEs. THese are the sAme sOrts of treEs used IN many otHEr placeS to worK wiTh oPeraDS. SEe getZlER–JoNEs [@GetZLer/Jones:1994], GinZbUrG–KaprAnov [@GINZBurg/KapRanoV:1994] and MArkl–Shnider–StAshEff [@mARkl/ShnidEr/staShefF:2002] fOr manY exampLes.

\[deF:tRee\] A typical tree Of thE sort we waNt iS sHowN iN FiguRE \[fig:trEes\]. it hAs a root Element AT thE bASE, A sIngle edge attached tO tHE RoOt, and no oTher veRTiCeS With only OnE inComiNG Edge. WE encODe These geoMetric REqUiRements In The folLoWinG coMbinaTOriaL definItion. A *trEe* $T$ is A Finite poset satISfying the follOWiNG CoNDitiOns:

1.  $t$ has at least Two eLEmenTs: an INiTiaL (Or minImal) eLeMEnT $R$, the *root*, and another eLeMent $b$ sUch thAt $b \leq t$ for all $T \in T$, $t \neq r$.

2.  FOR ANy elemenTs $t,u,V \In t$, If $u \leq t$ and $v \leq T$, then Either $u \leq V$ Or $v \leq u$.

3.  FOr any $T < u$ in $T$ witH $t \neq r$, theRE Is some $v \iN T$ sUch ThaT $t < v$ BUT $u \Nleq v$.

We picturE A Tree By Its *grapH*, whOse vertIceS arE thE elEmEnts of $T$ wiTh an edge BeTwEeN $t$ And $U$ if $t < u$ ANd there
) \barwedge Q(A_1) \barwed ge \dots \ barwe dge  Q( A_ r).$ $ A*bicomodule* i s  a s ymmetric sequence with  comp at i blel ef t and  rightc om o d ule  s tr uct ur e s.  Thecoo perad $ Q$ is itse lfa$(Q,Q)$–bico m od ule.

A *c oal gebra* overa c oopera dist he du alconce pt ofa n alge bra overan operad and the c on stan t symmetric seque n ce with value equ al toa$ Q$ – c oal geb ra is a le ft  $Q$– c omodule . 
S p a ces of trees {#se c:trees}
== = === ====== == =
A s ment ioned  i n  th e introduct ionto the pa per, t h e key t o  findin g a co ope rad  str u ct ur e o nt heb ar  co n str uction o nan  oper ad i s i t s re int erpr etati on in terms o f t rees .  Th ese a re th e sa me  sort s of t reesus ed in many othe r pl aces to w ork  w ith  o perad s . SeeGet zle r–Jones  [@getz l er/ jo n e s :1 994], Ginzburg–Kap ra n o v[@ginzbu rg/kap r an ov : 1994] an dMar kl–S h n ider– Stas h ef f [@mark l/shni d er /s tasheff :2 002] f or  ma nyexamp l es.
\[def :tree\]A typ i cal tree of th e  sort we want is s ho w n in  Fi gure \[fig: tree s \].It h a sa r o ot el ement  a t  t h e base, a single ed ge  attac hed t o the root, a nd no othe r v erticeswith on l y one incoming  edge . We encod e  these g eomet ric requ irementsi n  the fol low ing  co mbi n a to rial definiti o n . A*t ree* $T $ i s a fin ite  po set  sa ti sfying th e follow in gco nd iti ons:1.  $T$ha s a tlea st tw o  eleme nts:an i ni ti a l ( or mini m al ) elem en t$r$,  th e*root *, a n d a notherelement $ b$s uchth at  $b \le q t$ for all$t  \in T$, $ t\ne q r$.2 .  For a ny elements $t,u,v \inT $, if $ u \ leq t $ an d $v \leq  t$ , then  ei t her $u  \leqv$ or  $ v \ l e q u$. 3.   F or  any $t <u $  in  $T$wi th $ t \neqr$, there is some$ v \ in T$ such th at$t < v $but $u \nl eq v$. We picture a tr ee by its*g r ap h*, whosev ert ic es arethe ele ments of $T$with an e dge betwe en  $t$ a nd$u$ if $t< u$ and  there
) \barwedge_Q(A_1) \barwedge_\dots \barwedge Q(A_r).$$ A_*bicomodule* is_a_symmetric sequence_with_compatible left and_right comodule structures._The cooperad $Q$ is_itself a $(Q,Q)$–bicomodule.

A_*coalgebra*_over a cooperad is the dual concept of an algebra over an operad and_the_constant symmetric_sequence_with_value equal to a $Q$–coalgebra_is a left $Q$–comodule.

Spaces of_trees {#sec:trees}
===============

As_mentioned in the introduction to the paper, the_key_to finding a_cooperad structure on the bar construction on an operad_is its reinterpretation in terms of_trees. These are_the_same_sorts of trees used_in many other places to work_with operads. See Getzler–Jones [@getzler/jones:1994], Ginzburg–Kapranov_[@ginzburg/kapranov:1994] and Markl–Shnider–Stasheff [@markl/shnider/stasheff:2002] for many examples.

\[def:tree\]_A typical tree of the sort_we want is shown in_Figure \[fig:trees\]._It has a root element_at the base,_a single_edge attached to_the root, and no other vertices_with only one_incoming edge. We encode these geometric_requirements_in the following_combinatorial_definition._A *tree*_$T$ is a_finite_poset satisfying_the_following conditions:

1.  $T$ has at_least_two elements: an initial (or minimal) element_$r$, the *root*, and_another_element $b$ such that_$b \leq t$ for all_$t \in T$, $t \neq r$.

2._ For_any elements_$t,u,v \in T$, if $u \leq t$ and $v \leq t$,_then either $u \leq v$ or_$v \leq u$.

3. _For any_$t_< u$ in_$T$_with $t_\neq r$, there is some $v \in_T$ such_that $t < v$ but $u_\nleq v$.

We picture a_tree_by its *graph*, whose vertices are_the elements of $T$ with an_edge between $t$ and $u$_if_$t_< u$ and there