 which some edge of $T$ has length zero.

The labelling plays no role in the space of weightings so we can ignore it. Picture $T$ as a collection of (non-generalized) trees $T_1,\dots,T_k$ attached at their roots. Suppose $T_j$ has $n_j$ vertices so that $n =
\sum n_j$. Then we have $$w(T) {\cong}w(T_1) \times \dots \times w(T_k) {\cong}D^{n_1} \times
\dots \times D^{n_k} {\cong}D^n.$$ Under this decomposition, a point is in the boundary of $w(T)$ if and only if any of it is in the boundary of any of the $w(T_j)$. That is, if and only if any of the edges of $T$ has length zero.

\[def:gen\_w\_functor\] The ‘space of weightings’ functor $w(-)\co \mathsf{T}(A) \to
{\mathcal{U}_{}}$ of Definition \[def:w\_functor\] can be extended to all of $\mathsf{Tree}(A)$. To do this, we have to say what happens when we apply $w(-)$ to a morphism $T_b \to T$ coming from a bud collapse (for $b$ a bud in a tree $T$). Given a weighting of $T_b$ we get a weighting of $T$ by giving length zero to all the leaf edges attached to $b$. This defines a map $$w(T_b) \to w(T)$$ and it is not hard to see that this does indeed give us a functor $$w(-)\co \mathsf{Tree}(A) \to {\mathcal{U}_{}}$$ as claimed. Adding a disjoint basepoint we get a functor $$w(-)_+\co \mathsf{Tree}(A) \to {\mathcal{T}_{}}.$$

The two-sided bar construction {#sec:two-sided}
------------------------------

We now update Definition \[def:formal\_bar\] to the two-sided case. Along with the spaces of weightings the key parts of this definition were functors $$P_A(-) \co \mathsf{T}(A)^\text{op} \to {\mathcal{C}}.$$ The appropriate generalizations of these
which some edge of $ T$ has length zero. 

 The labelling plays no function in the quad of weightings so we can ignore it. Picture $ T$ as a solicitation of (non - generalized) trees $ T_1,\dots, T_k$ attached at their roots. think $ T_j$ has $ n_j$ vertices so that $ nitrogen = 
 \sum n_j$. Then we have $ $ w(T) { \cong}w(T_1) \times \dots \times w(T_k) { \cong}D^{n_1 } \times 
 \dots \times D^{n_k } { \cong}D^n.$$ Under this decomposition, a compass point is in the boundary of $ w(T)$ if and only if any of it is in the limit of any of the $ w(T_j)$. That is, if and only if any of the edges of $ T$ has length zero. 

 \[def: gen\_w\_functor\ ] The ‘ space of weightings ’ functor $ w(-)\co \mathsf{T}(A) \to 
 { \mathcal{U}_{}}$ of Definition \[def: w\_functor\ ] can be extended to all of $ \mathsf{Tree}(A)$. To make this, we have to say what happens when we give $ w(-)$ to a morphism $ T_b \to T$ coming from a bud collapse (for $ b$ a bud in a tree $ T$). Given a weighting of $ T_b$ we scram a weighting of $ T$ by giving length zero to all the leaf edges attached to $ b$. This define a map $ $ w(T_b) \to w(T)$$ and it is not hard to see that this does indeed give us a functor $ $ w(-)\co \mathsf{Tree}(A) \to { \mathcal{U}_{}}$$ as claimed. add a disjoint basepoint we induce a functor $ $ w(-)_+\co \mathsf{Tree}(A) \to { \mathcal{T}_{}}.$$ 

 The two - sided bar construction { # sec: two - sided } 
 ------------------------------ 

 We now update Definition \[def: formal\_bar\ ] to the two - sided case. Along with the spaces of weightings the key parts of this definition were functors $ $ P_A(-) \co \mathsf{T}(A)^\text{op } \to { \mathcal{C}}.$$ The appropriate generalization of these
 whlch some edge of $T$ has ltngth zero.

The labgloing pnays nk role iv the space of weightings so ww can ignore it. Picture $T$ ar a collebtion of (bon-gtneralized) trees $V_1,\sots,T_k$ attachsf at vheir roots. Supkose $T_j$ has $t_j$ vertices so tfac $n =
\sum n_j$. Then we have $$w(T) {\cong}w(T_1) \tiies \dotx \himes w(T_k) {\cong}Q^{n_1} \tpmqs
\dofs \times D^{n_k} {\cong}D^n.$$ Under this deckmpositpon, a point is in the boundary of $w(T)$ if and onlj if any of it is ln the bouneary if any of thd $w(T_j)$. That is, if and ohly if any of the edges of $T$ har lenyth zero.

\[def:teb\_w\_fktctor\] The ‘s'ace os weightings’ functor $w(-)\co \mayhsf{T}(A) \to
{\mathcsl{U}_{}}$ of Definition \[def:w\_functmr\] can be extended to all ox $\jathsf{Tree}(A)$. To do tyis, wg hava to way whzt hzppens whxn we apply $w(-)$ to a morphism $T_b \to T$ cominb sgpm a bud colmapse (sow $b$ a bud in a tree $T$). Given a weighting of $T_b$ we get a weighting if $T$ by giving length zero to wll the leaf edges attached to $b$. This defines a mdp $$w(T_u) \go c(B)$$ xbd it is not hard to see that this does indeed djvt ux a functor $$w(-)\cj \mathsf{Trer}(A) \tp {\mathcal{U}_{}}$$ as zlaimeb. Asding a disjoint bwsepoinj we gwt a funcuor $$w(-)_+\vo \mathsf{Tree}(A) \to {\mathcal{T}_{}}.$$

Tye two-sided yar construction {#sec:tco-sided}
------------------------------

We noc updaje Defonition \[def:formal\_bar\] to the two-sided cwse. Along dith the spaces uf eehghtings the key parts of ehis defiiitiou were fjnctprs $$P_A(-) \co \mathsf{H}(A)^\texb{mp} \to {\mathcal{C}}.$$ The apprlpsiate genegalizations of these
which some edge of $T$ has length labelling no role the space of it. $T$ as a of (non-generalized) trees attached at their roots. Suppose $T_j$ $n_j$ vertices so that $n = \sum n_j$. Then we have $$w(T) {\cong}w(T_1) \dots \times w(T_k) {\cong}D^{n_1} \times \dots \times D^{n_k} {\cong}D^n.$$ Under this decomposition, a is the of if and only if any of it is in the boundary of any of the $w(T_j)$. is, if and only if any of the of $T$ has length \[def:gen\_w\_functor\] The ‘space of weightings’ $w(-)\co \to {\mathcal{U}_{}}$ Definition can extended to all $\mathsf{Tree}(A)$. To do this, we have to say what happens when we apply $w(-)$ to a morphism \to T$ a bud (for a in a tree a weighting of $T_b$ we get $T$ by giving length zero to all the edges attached $b$. This defines a map $$w(T_b) w(T)$$ and it is not hard to see this does indeed give us a functor $$w(-)\co \mathsf{Tree}(A) \to {\mathcal{U}_{}}$$ as claimed. Adding a we get a functor \mathsf{Tree}(A) \to {\mathcal{T}_{}}.$$ two-sided construction ------------------------------ now update \[def:formal\_bar\] to the two-sided case. Along with the spaces of weightings key parts of this definition were functors $$P_A(-) \co \mathsf{T}(A)^\text{op} The generalizations of these
 which some edge of $T$ has length Zero.

The labEllinG plAys No Role In thE space of weightINgs sO we can ignore it. Picture $T$ As a coLlECtioN Of (Non-geNeralizED) tREEs $T_1,\DoTs,t_k$ aTtAChEd at tHeiR roots. SUppose $T_j$ haS $n_j$ VeRtices so that $N =
\SuM n_j$. Then we hAve $$W(T) {\cong}w(T_1) \timeS \doTs \timeS w(t_k) {\cONg}D^{n_1} \tImeS
\dots \Times D^{N_K} {\cong}D^N.$$ Under thiS dEComposITion, a poINT iS in tHe boundary of $w(T)$ if aND oNLy if any of it is iN the boUnDArY OF anY of The $w(T_j)$. That Is, If and ONly if anY Of THE EdgES of $T$ has length Zero.

\[def:gen\_w\_FUncTor\] The ‘SpAce OF weighTings’ FuNCtoR $w(-)\co \mathsf{T}(a) \to
{\mAthcal{U}_{}}$ of definiTIon \[def:w\_FUnctor\] cAn be exTenDed To alL Of $\MaThsF{TREe}(A)$. tO dO thIS, we Have to saY wHaT happEns wHEN WE appLy $w(-)$ To a mOrphiSm $T_b \to T$ coming FroM a buD ColLapse (For $b$ a Bud iN a Tree $T$). given a WeighTiNg of $T_b$ we get a weiGhtiNg of $T$ by giVinG lEngTh Zero tO All the LeaF edGes attaChed to $b$. tHis DeFINEs A map $$w(T_b) \to w(T)$$ and it is NoT HArD to see thAt this DOeS iNDeed give Us A fuNctoR $$W(-)\Co \matHsf{TREe}(a) \to {\mathcAl{U}_{}}$$ as cLAiMeD. Adding A dIsjoinT bAsePoiNt we gET a fuNctor $$w(-)_+\Co \mathsf{tree}(A) \TO {\mathcal{T}_{}}.$$

The twO-Sided bar constRUcTIOn {#SEc:twO-siDed}
------------------------------

We now updAte DEFiniTion \[DEf:ForMAl\_bar\] To the TwO-SiDEd case. Along with the sPaCes of wEightIngs the key parTs of this deFINItion werE funCToRS $$P_A(-) \co \mathsf{T}(A)^\tExt{op} \To {\mathcal{C}}.$$ tHe appropRiate GeneraliZations of THEse
 which some edge of $T$ ha s length z ero.
Th e l ab elli ng p lays no role i n  the  space of weightings s o weca n  ign o re  it.Picture $T $ asaco lle ct i on  of ( non -genera lized) tre es$T _1,\dots,T_k $  a ttached at  th eir roots. S upp ose $T _j $ h a s $n_ j$verti ces so that $ n =
\sumn_ j $. The n  we hav e $$ w(T)  {\cong}w(T_1) \t i me s  \dots \timesw(T_k)  { \ co n g }D^ {n_ 1} \times\d ots \ t imes D^ { n_ k } {\c o ng}D^n.$$ Und er this dec o mpo sition ,a p o int is  in t he bou ndary of $w (T)$  if and o nly if any ofi t is in  the b oun dar y of an yofth e  $w ( T_ j)$ .  Th at is, i fan d onl y if a n y  ofthe  edg es of  $T$ has leng thzero . 

\ [def: gen\_ w\_f un ctor\ ] The‘spac eof weightings’func tor $w(-) \co  \ mat hs f{T}( A ) \to{\m ath cal{U}_ {}}$ of Def in i t i on  \[def:w\_functor\ ]c a nbe exten ded to al lo f $\math sf {Tr ee}( A ) $. To  dot hi s, we ha ve tos ay  w hat hap pe ns whe nweapp ly $w ( -)$to a m orphism$T_b\ to T$ coming f r om a bud coll a ps e (f o r $b $ a  bud in a t ree$ T$).  Giv e na w e ighti ng of  $ T _b $  we get a weighting  o f $T$by gi ving length z ero to all t h e leaf e dges at t ached to $b$.Thisdefines am ap $$w(T _b) \ to w(T)$ $ and iti s  not har d t o s eetha t th is does indee d give  u s a fun cto r $$w(- )\c o \ mat hsf {T ree}(A) \ to {\mat hc al {U }_ {}} $$ as claimed.  A ddi ng  adisjo i nt bas epoin t we  g et a f unctor$ $w ( - )_+\ co  \ math sf{ Tr ee}(A ) \t o  {\ mathcal {T}_{}}.$ $
T he t wo -s ided ba r constructio n{#sec:two- si ded }
---- - - -------- ----------------

We no w  update  De finit ion\[def:for mal \_bar\ ] t o  the t wo-sid ed ca se . A l o ng wi t h  t hesp aces of we i g hti ngs t he  key  partsof this definition wer e functors $$ P_A (-)\ c o\ma t hs f {T} (A ) ^\t e x t{op} \to {\mat hcal{C}}.$ $T he  appropria t e g en eraliza tions o f the s e
 which_some edge_of $T$ has length_zero.

The labelling_plays_no role_in_the space of_weightings so we_can ignore it. Picture_$T$ as a_collection_of (non-generalized) trees $T_1,\dots,T_k$ attached at their roots. Suppose $T_j$ has $n_j$ vertices so_that_$n =
\sum_n_j$._Then_we have $$w(T) {\cong}w(T_1) \times_\dots \times w(T_k) {\cong}D^{n_1} \times
\dots_\times D^{n_k}_{\cong}D^n.$$ Under this decomposition, a point is in_the_boundary of $w(T)$_if and only if any of it is in_the boundary of any of the_$w(T_j)$. That is,_if_and_only if any of_the edges of $T$ has length_zero.

\[def:gen\_w\_functor\] The ‘space of weightings’ functor_$w(-)\co \mathsf{T}(A) \to
{\mathcal{U}_{}}$ of Definition \[def:w\_functor\] can_be extended to all of $\mathsf{Tree}(A)$._To do this, we have_to say_what happens when we apply_$w(-)$ to a_morphism $T_b_\to T$ coming_from a bud collapse (for $b$_a bud in_a tree $T$). Given a weighting_of_$T_b$ we get_a_weighting_of $T$_by giving length_zero_to all_the_leaf edges attached to $b$. This_defines_a map $$w(T_b) \to w(T)$$ and it_is not hard to_see_that this does indeed_give us a functor $$w(-)\co_\mathsf{Tree}(A) \to {\mathcal{U}_{}}$$ as claimed. Adding_a disjoint_basepoint we_get a functor $$w(-)_+\co \mathsf{Tree}(A) \to {\mathcal{T}_{}}.$$

The two-sided bar construction {#sec:two-sided}
------------------------------

We_now update Definition \[def:formal\_bar\] to the_two-sided case. Along with_the spaces_of_weightings the key_parts_of this_definition were functors $$P_A(-) \co \mathsf{T}(A)^\text{op} \to_{\mathcal{C}}.$$ The_appropriate generalizations of these