U)$ where $U'$ has $s''$ vertices. Therefore the pair is in the $s'+s''$–skeleton of $\overline{w}(T)
{\wedge}\overline{w}(U)$. However, since $V$ only had $s$ vertices, we must have $s'+s'' \leq s$. So the image of $p$ is in the $s$–skeleton of $\overline{w}(T) {\wedge}\overline{w}(U)$ as required.

It is easy to describe explicitly the resulting map of chain complexes $$C_*\overline{w}(T \cup_a U) \to C_*\overline{w}(T) \otimes C_*\overline{w}(U).$$ Recall that the left-hand side is given by the direct sum over $V \in
\mathsf{Tree}(A \cup_a B)$ with $V \leq T \cup_a U$ of the homology groups $\widetilde{H}_*(\underline{w}(V))$. The above map sends the term corresponding to a tree $V$ that is not of type $(A,B)$, to zero. If $V
= T' \cup_a U'$, then $T' \leq T$ and $U' \leq U$ and the corresponding term maps to the right-hand side via the isomorphism $$\widetilde{H}_*(\underline{w}(T' \cup_a U')) \to
\widetilde{H}_*(\underline{w}(T')) \otimes
\widetilde{H}_*(\underline{w}(U')),$$ which is induced by the homeomorphism[^18] $$\underline{w}(T' \cup_a U') \to \underline{w}(T') {\wedge}\underline{w}(U'),$$ which in turn is a quotient of the map $$\overline{w}(T' \cup_a U') \to \overline{w}(T') {\wedge}\overline{w}(U').$$

With this key map in place, the rest of the formal definition of the cooperad structure maps for the topological bar construction (Definition \[def:formal\_cooperad\_maps\]) carries over to the algebraic case.

\[lem:explicit\_cooperad\] Let $P$ be a reduced operad in $\mathsf{Ch}_k$. Under the isomorphism of Lemma \[lem:explicit\_bar\], the cooperad structure on
U)$ where $ U'$ has $ s''$ vertices. Therefore the pair is in the $ s'+s''$–skeleton of $ \overline{w}(T) 
 { \wedge}\overline{w}(U)$. However, since $ V$ merely have $ s$ vertices, we must have $ s'+s" \leq s$. So the picture of $ p$ is in the $ s$–skeleton of $ \overline{w}(T) { \wedge}\overline{w}(U)$ as required. 

 It is easy to report explicitly the resulting map of range complex $ $ C_*\overline{w}(T \cup_a U) \to C_*\overline{w}(T) \otimes C_*\overline{w}(U).$$ Recall that the left - bridge player side is given by the lineal sum over $ V \in 
 \mathsf{Tree}(A \cup_a B)$ with $ five \leq T \cup_a U$ of the homology groups $ \widetilde{H}_*(\underline{w}(V))$. The above function sends the term corresponding to a tree $ V$ that is not of character $ (A, B)$, to zero. If $ V 
 = T' \cup_a U'$, then $ T' \leq T$ and $ U' \leq U$ and the corresponding condition maps to the right - hand side via the isomorphism $ $ \widetilde{H}_*(\underline{w}(T' \cup_a U') ) \to 
 \widetilde{H}_*(\underline{w}(T') ) \otimes 
 \widetilde{H}_*(\underline{w}(U')),$$ which is induce by the homeomorphism[^18 ] $ $ \underline{w}(T' \cup_a U') \to \underline{w}(T') { \wedge}\underline{w}(U'),$$ which in turn is a quotient of the map $ $ \overline{w}(T' \cup_a U') \to \overline{w}(T') { \wedge}\overline{w}(U').$$ 

 With this key map in place, the remainder of the formal definition of the cooperad structure maps for the topological bar construction (Definition \[def: formal\_cooperad\_maps\ ]) carries over to the algebraic case. 

 \[lem: explicit\_cooperad\ ] Let $ P$ be a reduced operad in $ \mathsf{Ch}_k$. Under the isomorphism of Lemma \[lem: explicit\_bar\ ], the cooperad structure on
U)$ wjere $U'$ has $s''$ vertices. Thtrefore the pair nw in tie $s'+s''$–sksleton ow $\overline{w}(T)
{\wedge}\overline{w}(U)$. Iowecer, sunce $V$ only had $s$ vertkces, we mlst have $w'+s'' \ltq s$. So the image of $p$ is in ths $s$–skzlxton of $\overling{w}(T) {\wedge}\ovesline{w}(U)$ as reqgifeb.

It is easy to describe explicitly tre resuktlng map of chayn cpiplesvs $$C_*\overline{w}(T \cup_a U) \to C_*\overljne{w}(T) \ouimes C_*\overline{w}(U).$$ Tecall that the left-hand slde ls given by the digect sum ovgd $V \un
\mathsf{Tree}(X \cup_a B)$ wpch $V \leq T \dup_a U$ of the homology groups $\wkdetikde{H}_*(\underlunw{w}(V))$. Jhe above ma' sendf the term corresponging to a tree $V$ that is nor of type $(A,B)$, to zero. Mf $V
= T' \cup_a U'$, then $T' \leq T$ ang $B' \leq U$ and the correwpindinc tesm mxps go uhe rjght-hajd aide via tge isomorphusm $$\widetilde{H}_*(\underkigv{e}(T' \cup_a U')) \to
\sidetijdq{H}_*(\underline{w}(T')) \otimes
\widetilde{H}_*(\underline{f}(U')),$$ shich is induced by the homeomorphism[^18] $$\underllne{w}(T' \cup_w U') \to \underline{w}(T') {\wedge}\underline{w}(U'),$$ which in turn is a duouickt ow tje map $$\overline{w}(T' \cup_a U') \to \overline{w}(T') {\wedge}\odsrkike{w}(U').$$

With this ken map in place, the rfsy of the formau defiujtjon of the cooperaf strucjure mqps for tre tppological bar construction (Definition \[bef:dormal\_cooperad\_maps\]) carries ovzr to jhe albebraic case.

\[lem:explicit\_eooperzd\] Let $P$ be a reduces operad in $\mathsw{Ch}_l$. Gnder tht isomorphism of Lqmma \[lem:eeplicnt\_bar\], thd copperad structure on
U)$ where $U'$ has $s''$ vertices. Therefore is the $s'+s''$–skeleton $\overline{w}(T) {\wedge}\overline{w}(U)$. However, vertices, must have $s'+s'' s$. So the of $p$ is in the $s$–skeleton $\overline{w}(T) {\wedge}\overline{w}(U)$ as required. It is easy to describe explicitly the resulting map chain complexes $$C_*\overline{w}(T \cup_a U) \to C_*\overline{w}(T) \otimes C_*\overline{w}(U).$$ Recall that the left-hand is by direct over $V \in \mathsf{Tree}(A \cup_a B)$ with $V \leq T \cup_a U$ of the homology groups The above map sends the term corresponding to tree $V$ that is of type $(A,B)$, to zero. $V T' \cup_a then \leq and $U' \leq and the corresponding term maps to the right-hand side via the isomorphism $$\widetilde{H}_*(\underline{w}(T' \cup_a U')) \to \widetilde{H}_*(\underline{w}(T')) \widetilde{H}_*(\underline{w}(U')),$$ which by the $$\underline{w}(T' U') \underline{w}(T') {\wedge}\underline{w}(U'),$$ which is a quotient of the map \to \overline{w}(T') {\wedge}\overline{w}(U').$$ With this key map in the rest the formal definition of the cooperad maps for the topological bar construction (Definition \[def:formal\_cooperad\_maps\]) over to the algebraic case. \[lem:explicit\_cooperad\] Let $P$ be a reduced operad in $\mathsf{Ch}_k$. Under of Lemma \[lem:explicit\_bar\], the structure on
U)$ where $U'$ has $s''$ vertices. TherefOre the pair Is in tHe $s'+S''$–skElEton Of $\ovErline{w}(T)
{\wedge}\oVErliNe{w}(U)$. However, since $V$ only hAd $s$ veRtICes, wE MuSt havE $s'+s'' \leq s$. sO tHE ImaGe Of $P$ is In THe $S$–skelEtoN of $\overLine{w}(T) {\wedgE}\ovErLine{w}(U)$ as requIReD.

It is easy tO deScribe explicItlY the reSuLtiNG map oF chAin coMplexeS $$c_*\overlIne{w}(T \cup_a u) \tO c_*\overlINe{w}(T) \otiMES C_*\OverLine{w}(U).$$ Recall that tHE lEFt-hand side is giVen by tHe DIrECT suM ovEr $V \in
\mathsF{TRee}(A \cUP_a B)$ with $v \LeQ t \CUp_a u$ Of the homology Groups $\widetILde{h}_*(\underLiNe{w}(v))$. the aboVe map SeNDs tHe term correSponDing to a trEe $V$ thaT Is not of TYpe $(A,B)$, to Zero. If $v
= T' \cUp_a u'$, theN $t' \lEq t$ anD $U' \LEq U$ ANd The COrrEspondinG tErM maps To thE RIGHt-haNd sIde vIa the Isomorphism $$\wiDetIlde{h}_*(\UndErlinE{w}(T' \cuP_a U')) \tO
\wIdetiLde{H}_*(\unDerliNe{W}(T')) \otimes
\widetilDe{H}_*(\uNderline{w}(u')),$$ whIcH is InDuced BY the hoMeoMorPhism[^18] $$\unDerline{W}(t' \cuP_a u') \TO \UnDerline{w}(T') {\wedge}\undeRlINE{w}(u'),$$ which in Turn is A QuOtIEnt of the MaP $$\ovErliNE{W}(T' \cup_A U') \to \OVeRline{w}(T') {\wEdge}\ovERlInE{w}(U').$$

With ThIs key mAp In pLacE, the rESt of The forMal definItion OF the cooperad stRUcture maps for THe TOPoLOgicAl bAr constructIon (DEFiniTion \[DEf:ForMAl\_cooPerad\_MaPS\]) cARries over to the algebRaIc case.

\[Lem:exPlicit\_cooperaD\] Let $P$ be a reDUCEd operad In $\maTHsF{ch}_k$. Under the isoMorphIsm of Lemma \[LEm:explicIt\_bar\], The coopeRad structURE on
U)$ where $U'$ has $s''$ v ertices. T heref ore  th epair  isin the $s'+s'' $ –ske leton of $\overline{w} (T)
{ \w e dge} \ ov erlin e{w}(U) $ .H o wev er ,sin ce $V $ onl y h ad $s$vertices,wemu st have $s'+ s ''  \leq s$.Sothe image of  $p $ is i nthe $s$–s kel etonof $\o v erline {w}(T) {\ we d ge}\ov e rline{w } ( U) $ as  required.

It is ea s y to describeexplic it l yt h e r esu lting mapof  chai n  comple x es $ $ C_* \ overline{w}(T  \cup_a U)\ toC_*\ov er lin e {w}(T)  \oti me s  C_ *\overline{ w}(U ).$$ Reca ll tha t  the le f t-handside i s g ive n by th edir ec t  su m  o ver $V\in
\mat hs f{ Tree} (A \ c u p _ a B) $ w ith$V \l eq T \cup_a U $ o f th e  ho molog y gro ups$\ widet ilde{H }_*(\ un derline{w}(V))$ . Th e above m apse nds  t he te r m corr esp ond ing toa tree$ V$th a t is  not of type $(A,B )$ , to  zero. I f $V
= T'  \ c up_a U'$ ,the n $T ' \leqT$ a n d$U' \leq  U$ an d  t he  corres po ndingte rmmap s tot he r ight-h and side  viat he isomorphism $$\widetilde{ H }_ * ( \u n derl ine {w}(T' \cup _a U ' )) \ to
\ w id eti l de{H} _*(\u nd e rl i ne{w}(T')) \otimes\w idetil de{H} _*(\underline {w}(U')),$ $ w hich isindu c ed by the homeomo rphis m[^18] $$\ u nderline {w}(T ' \cup_a  U') \to\ u nderline {w} (T' ) { \we d g e} \underline{w} ( U '),$ $which i n t urn isa q uot ien t o fthe map $ $\overli ne {w }( T'  \c up_aU ') \to \ ov erl in e{w }(T') {\wedg e}\ov erli ne {w } (U' ).$$

W i th t hiske ymapinpl ace,ther est  of the  formal d efi n itio nof  the co operad struct ur e maps for  t hetopolo g i cal barconstruction (Definitio n  \[def: for mal\_ coop erad\_map s\] ) carr ies over t o thealgeb ra icc a se.
\ [ le m:e xp licit\_coo p e rad \] Le t$P$be a re duced operad in $\ m ath sf{Ch}_k$. Un der  the i so mor p hi s m o fL emm a \[lem:explicit\ _bar\], th ec oo perad stru c tur eon
U)$ where_$U'$ has_$s''$ vertices. Therefore the_pair is_in_the $s'+s''$–skeleton_of_$\overline{w}(T)
{\wedge}\overline{w}(U)$. However, since_$V$ only had_$s$ vertices, we must_have $s'+s'' \leq_s$._So the image of $p$ is in the $s$–skeleton of $\overline{w}(T) {\wedge}\overline{w}(U)$ as required.

It_is_easy to_describe_explicitly_the resulting map of chain_complexes $$C_*\overline{w}(T \cup_a U) \to_C_*\overline{w}(T) \otimes_C_*\overline{w}(U).$$ Recall that the left-hand side is given_by_the direct sum_over $V \in
\mathsf{Tree}(A \cup_a B)$ with $V \leq T_\cup_a U$ of the homology groups_$\widetilde{H}_*(\underline{w}(V))$. The above_map_sends_the term corresponding to_a tree $V$ that is not_of type $(A,B)$, to zero. If_$V
= T' \cup_a U'$, then $T' \leq_T$ and $U' \leq U$ and_the corresponding term maps to_the right-hand_side via the isomorphism $$\widetilde{H}_*(\underline{w}(T'_\cup_a U')) \to
\widetilde{H}_*(\underline{w}(T'))_\otimes
\widetilde{H}_*(\underline{w}(U')),$$ which_is induced by_the homeomorphism[^18] $$\underline{w}(T' \cup_a U') \to_\underline{w}(T') {\wedge}\underline{w}(U'),$$ which_in turn is a quotient of_the_map $$\overline{w}(T' \cup_a_U')_\to_\overline{w}(T') {\wedge}\overline{w}(U').$$

With_this key map_in_place, the_rest_of the formal definition of the_cooperad_structure maps for the topological bar construction_(Definition \[def:formal\_cooperad\_maps\]) carries over_to_the algebraic case.

\[lem:explicit\_cooperad\] Let_$P$ be a reduced operad_in $\mathsf{Ch}_k$. Under the isomorphism of_Lemma \[lem:explicit\_bar\],_the cooperad_structure on