3$ is called [*admissible*]{} if there exists an integer $0 \le r \le \min\{l,m\}$ such that $k = l+m - 2r$. For an admissible triple $(k,l,m) \in {\mathbb N}_0^3$ we have $v^k \subset v^l \tp v^m$ with the intertwining isometry $\alpha^{l,m}_k:H_k \to H_l \otimes H_m$ and the corresponding CG-channels $\Phi_{v^k}^{\overline{v^l}, v^m}$ and $\Phi_{v^k}^{v^l, \overline{v^m}}$ (shortly, $\Phi_k^{\bar{l}, m}$ and $\Phi_k^{l, \bar{m}}$) are called [*($O^+_F$-)Temperley-Lieb channels*]{}.

Let us now give a string-diagrammatic description of the covariant isometries $\alpha_k^{l,m}$ which define the TL-channels above. We begin by fixing an admissible triple $(k,l,m) \in {\mathbb N}_0^3$ and define $$\begin{aligned}
\label{unnormal}
A_k^{l,m} =(p_l \otimes p_m)\Big(\iota_{H_{l-r}} \otimes \cup_F^r  \otimes \iota_{m-r}\Big)p_k \in \text{Hom}_{O^+_F}(v^k, v^l \tp v^m).\end{aligned}$$ where $\cup_F^r \in \text{Hom}_{O^+_F}(v^0, v^{\tiny \tp 2r})$ is defined recursively from $$\cup_F^1 := \cup_F,\;\; \cup_F^r := (\iota_{H_1^{\otimes r-1}} \otimes \cup_F \otimes \iota_{H_1^{\otimes r-1}})\cup_F^{r-1}.$$ In terms of our string diagram formalism, $\cup_F^r$ is given by $r$ nested cups $$\begin{tikzpicture}[baseline=(current  bounding  box.center),
            wh/.style={circle,draw=black,thick,inner sep=.5mm},
            bl/.style={circle,draw
3 $ is called [ * admissible * ] { } if there exists an integer $ 0 \le r \le \min\{l, m\}$ such that $ k = l+m - 2r$. For an admissible ternary $ (k, l, m) \in { \mathbb N}_0 ^ 3 $ we take $ v^k \subset v^l \tp v^m$ with the intertwining isometry $ \alpha^{l, m}_k: H_k \to H_l \otimes H_m$ and the corresponding CG - channels $ \Phi_{v^k}^{\overline{v^l }, v^m}$ and $ \Phi_{v^k}^{v^l, \overline{v^m}}$ (curtly, $ \Phi_k^{\bar{l }, m}$ and $ \Phi_k^{l, \bar{m}}$) are called [ * ($ O^+_F$-)Temperley - Lieb channels * ] { }. 

 permit us now give a bowed stringed instrument - diagrammatic description of the covariant isometries $ \alpha_k^{l, m}$ which define the TL - channels above. We get down by fixing an admissible triple $ (k, l, m) \in { \mathbb N}_0 ^ 3 $ and define $ $ \begin{aligned } 
 \label{unnormal } 
 A_k^{l, m } =( p_l \otimes p_m)\Big(\iota_{H_{l - r } } \otimes \cup_F^r   \otimes \iota_{m - r}\Big)p_k \in \text{Hom}_{O^+_F}(v^k, v^l \tp v^m).\end{aligned}$$ where $ \cup_F^r \in \text{Hom}_{O^+_F}(v^0, v^{\tiny \tp 2r})$ is define recursively from $ $ \cup_F^1: = \cup_F,\;\; \cup_F^r: = (\iota_{H_1^{\otimes r-1 } } \otimes \cup_F \otimes \iota_{H_1^{\otimes r-1}})\cup_F^{r-1}.$$ In terms of our chain diagram formalism, $ \cup_F^r$ is given by $ r$ nested cup $ $ \begin{tikzpicture}[baseline=(current   bounding   box.center), 
             wh/.style={circle, draw = black, chummy, inner sep=.5 mm }, 
             bl/.style={circle, draw
3$ is called [*admissible*]{} if thtre exists an intggwr $0 \le r \le \jin\{l,m\}$ suzh that $k = l+m - 2r$. For an admidsuble ugiple $(k,l,m) \in {\mathbb N}_0^3$ we have $n^k \subset v^l \up v^m$ with the invsrtwiniky isojctry $\cl'ha^{l,m}_k:H_k \to H_l \ptimes H_m$ dnd the corres[ovdnng CG-channels $\Phi_{v^k}^{\overline{v^l}, v^m}$ anq $\Phi_{v^k}^{f^l, \overline{v^m}}$ (shjrtlj, $\[hi_k^{\gar{l}, m}$ and $\Phi_k^{l, \bar{m}}$) are called [*($O^+_R$-)Temperney-Lieb channrls*]{}.

Let us now give a strinh-diahrammatic descriptlon of the xovawuant isometrkes $\alpha_k^{l,m}$ which defjne the TL-channels above. We begkn by fixing an aemidvible triplx $(k,l,m) \pn {\mathbb N}_0^3$ akc defite $$\begim{aligned}
\label{uknormel}
A_k^{o,m} =(p_l \otimes p_m)\Big(\iote_{H_{l-r}} \otimes \cup_F^r  \ojimes \iota_{k-r}\Yig)p_k \in \text{Hom}_{O^+_F}(v^k, c^l \tp v^k).\end{dligvwd}$$ dhede $\chp_F^r \ij \txxt{Hom}_{O^+_F}(v^0, v^{\finy \tp 2r})$ iw defined recursiveky drom $$\cup_F^1 := \cul_F,\;\; \cup_S^r := (\iota_{H_1^{\otimes r-1}} \otimes \cup_F \otimes \iota_{V_1^{\otjmes r-1}})\cup_F^{r-1}.$$ In terms of our string diagram flrmalism, $\sup_F^r$ is given by $r$ nested cups $$\begin{tikzpicture}[bdseliie=(zurxckt  ciujding  box.center),
            wh/.style={circle,draw=fmavk,nhick,inner sep=.5mm},
            nl/.dtuje={circle,draw
3$ is called [*admissible*]{} if there exists $0 r \le such that $k an triple $(k,l,m) \in N}_0^3$ we have \subset v^l \tp v^m$ with the isometry $\alpha^{l,m}_k:H_k \to H_l \otimes H_m$ and the corresponding CG-channels $\Phi_{v^k}^{\overline{v^l}, v^m}$ and \overline{v^m}}$ (shortly, $\Phi_k^{\bar{l}, m}$ and $\Phi_k^{l, \bar{m}}$) are called [*($O^+_F$-)Temperley-Lieb channels*]{}. Let us give string-diagrammatic of covariant isometries $\alpha_k^{l,m}$ which define the TL-channels above. We begin by fixing an admissible triple $(k,l,m) {\mathbb N}_0^3$ and define $$\begin{aligned} \label{unnormal} A_k^{l,m} =(p_l p_m)\Big(\iota_{H_{l-r}} \otimes \cup_F^r \otimes \in \text{Hom}_{O^+_F}(v^k, v^l \tp v^m).\end{aligned}$$ $\cup_F^r \text{Hom}_{O^+_F}(v^0, v^{\tiny 2r})$ defined from $$\cup_F^1 := \cup_F^r := (\iota_{H_1^{\otimes r-1}} \otimes \cup_F \otimes \iota_{H_1^{\otimes r-1}})\cup_F^{r-1}.$$ In terms of our string diagram formalism, $\cup_F^r$ given by cups $$\begin{tikzpicture}[baseline=(current box.center), sep=.5mm},
3$ is called [*admissible*]{} if there Exists an inTeger $0 \Le r \Le \mIn\{L,m\}$ suCh thAt $k = l+m - 2r$. For an admISsibLe triple $(k,l,m) \in {\mathbb N}_0^3$ we Have $v^K \sUBset V^L \tP v^m$ wiTh the inTErTWIniNg IsOmeTrY $\AlPha^{l,m}_K:H_k \To H_l \otiMes H_m$ and thE coRrEsponding CG-cHAnNels $\Phi_{v^k}^{\oVerLine{v^l}, v^m}$ and $\PHi_{v^K}^{v^l, \oveRlIne{V^M}}$ (shorTly, $\phi_k^{\bAr{l}, m}$ anD $\phi_k^{l, \bAr{m}}$) are calLeD [*($o^+_F$-)TempERley-LieB CHaNnelS*]{}.

Let us now give a strINg-DIagrammatic desCriptiOn OF tHE CovAriAnt isometrIeS $\alphA_K^{l,m}$ whicH DeFINE thE tL-channels aboVe. We begin by FIxiNg an adMiSsiBLe tripLe $(k,l,m) \In {\MAthBb N}_0^3$ and definE $$\begIn{aligned}
\Label{uNNormal}
A_K^{L,m} =(p_l \otiMes p_m)\BIg(\iOta_{h_{l-r}} \oTImEs \Cup_f^r  \OTimES \iOta_{M-R}\BiG)p_k \in \texT{HOm}_{o^+_F}(v^k, v^L \tp v^M).\END{AligNed}$$ WherE $\cup_F^R \in \text{Hom}_{O^+_F}(v^0, V^{\tiNy \tp 2R})$ Is dEfineD recuRsivElY from $$\Cup_F^1 := \cuP_F,\;\; \cup_f^r := (\Iota_{H_1^{\otimes r-1}} \otiMes \cUp_F \otimes \IotA_{H_1^{\OtiMeS r-1}})\cup_f^{R-1}.$$ In terMs oF ouR string Diagram FOrmAlISM, $\CuP_F^r$ is given by $r$ nesteD cUPS $$\bEgin{tikzPicturE}[BaSeLIne=(curreNt  BouNdinG  BOx.cenTer),
            wH/.StYle={circlE,draw=bLAcK,tHick,innEr Sep=.5mm},
            bL/.sTylE={ciRcle,dRAw
3$ is called [*admissible* ]{} if the re ex ist s a ninte ger$0 \le r \le \ m in\{ l,m\}$ such that $k =l+m -  2 r $. F o ran ad missibl e  t r i ple  $ (k ,l, m) \i n {\m ath bb N}_0 ^3$ we hav e $ v^ k \subset v^ l  \ tp v^m$ wi ththe intertwi nin g isom et ry$ \alph a^{ l,m}_ k:H_k\ to H_l  \otimesH_ m $ andt he corr e s po ndin g CG-channels $\P h i_ { v^k}^{\overlin e{v^l} ,v ^m } $  an d $ \Phi_{v^k} ^{ v^l,\ overlin e {v ^ m } }$( shortly, $\Ph i_k^{\bar{l } , m }$ and  $ \Ph i _k^{l,  \bar {m } }$)  are called  [*( $O^+_F$-) Temper l ey-Lieb channel s*]{}. 

L etus n o wgi veas tri n g- dia g ram matic de sc ri ption  oft h e cova ria nt i somet ries $\alpha_ k^{ l,m} $  wh ich d efine  the  T L-cha nnelsabove .We begin by fix ingan admiss ibl etri pl e $(k , l,m) \ in{\m athbb N }_0^3$a ndde f i n e$$\begin{aligned}\l a b el {unnorma l}
A_k ^ {l ,m }  =(p_l \ ot ime s p_ m ) \Big( \iot a _{ H_{l-r}}  \otim e s\c up_F^r \ otimes  \ iot a_{ m-r}\ B ig)p _k \in  \text{H om}_{ O ^+_F}(v^k, v^l \tp v^m).\end { al i g ne d }$$whe re $\cup_F^ r \i n  \te xt{H o m} _{O ^ +_F}( v^0,v^ { \t i ny \tp 2r})$ is def in ed rec ursiv ely from $$\c up_F^1 :=\ c u p_F,\;\;  \cu p _F ^ r := (\iota_{H _1^{\ otimes r-1 } } \otime s \cu p_F \oti mes \iota _ { H_1^{\ot ime s r -1} })\ c u p_ F^{r-1}.$$ In t erms  o f our s tri ng diag ram  fo rma lis m,  $\cup_F^ r$ is gi ve nby  $ r$neste d  cups $$ \b egi n{ tik zpict u re}[ba selin e=(c ur re n t boundin g  b o x.ce nt er ),
        wh/ . sty le={cir cle,draw= bla c k,th ic k, inner s ep=.5mm},
          bl/ .s tyl e={cir c l e,draw
3$ is_called [*admissible*]{}_if there exists an_integer $0_\le_r \le_\min\{l,m\}$_such that $k_= l+m -_2r$. For an admissible_triple $(k,l,m) \in_{\mathbb_N}_0^3$ we have $v^k \subset v^l \tp v^m$ with the intertwining isometry $\alpha^{l,m}_k:H_k \to_H_l_\otimes H_m$_and_the_corresponding CG-channels $\Phi_{v^k}^{\overline{v^l}, v^m}$ and_$\Phi_{v^k}^{v^l, \overline{v^m}}$ (shortly, $\Phi_k^{\bar{l}, m}$_and $\Phi_k^{l,_\bar{m}}$) are called [*($O^+_F$-)Temperley-Lieb channels*]{}.

Let us now give_a_string-diagrammatic description of_the covariant isometries $\alpha_k^{l,m}$ which define the TL-channels above._We begin by fixing an admissible_triple $(k,l,m) \in_{\mathbb_N}_0^3$_and define $$\begin{aligned}
\label{unnormal}
A_k^{l,m} =(p_l_\otimes p_m)\Big(\iota_{H_{l-r}} \otimes \cup_F^r  \otimes_\iota_{m-r}\Big)p_k \in \text{Hom}_{O^+_F}(v^k, v^l \tp v^m).\end{aligned}$$_where $\cup_F^r \in \text{Hom}_{O^+_F}(v^0, v^{\tiny \tp 2r})$_is defined recursively from $$\cup_F^1 :=_\cup_F,\;\; \cup_F^r := (\iota_{H_1^{\otimes r-1}}_\otimes \cup_F_\otimes \iota_{H_1^{\otimes r-1}})\cup_F^{r-1}.$$ In terms_of our string_diagram formalism,_$\cup_F^r$ is given_by $r$ nested cups $$\begin{tikzpicture}[baseline=(current _bounding  box.center),
_     __  __wh/.style={circle,draw=black,thick,inner_sep=.5mm},
 _  __ __   bl/.style={circle,draw