 our approach on a formal level insofar, that we have not addressed the question how an infinite dimensional space (of fields) can be treated in a braided category. This is certainly necessary if we want to do quantum field theory, i.e., deal with infinitely many degrees of freedom. An obvious problem is the definition of the coevaluation. It seems that we need at least a completed tensor product for this. However, instead of introducing heavy functional analytic machinery, we can stick with our algebraic approach given a further assumption.

Let us assume that the space of (regular) fields $X$ decomposes into a direct sum $\bigoplus_i X_i$ of countably many finite dimensional comodules under the symmetry quantum group $A$. This corresponds roughly to the classical case of the space-time manifold being compact. In particular, it is the case if the symmetry quantum group $A$ is cosemisimple (or classically the Lie group of symmetries is compact, see Section \[sec:PeterWeyl\] below). Denote the projection $X\to X_i$ by $\tau_i$.

We now allow arbitrary sums of elements in $X$ given that any projection $\tau_i$ annihilates all but finitely many summands. Similarly, we allow infinite sums in the $n$-fold tensor product $X^n$ with the restriction that any projection $\tau_{i_1}\tens\cdots\tens\tau_{i_n}$ yields a finite sum. To define the dual of $X$, we take the dual of each $X_i$ and set $X^*=\bigoplus_i X_i^*$. For each component $X_i$ we have an evaluation map $\ev_i:X_i\tens
X_i^*\to\k$ and a coevaluation map $\coev_i:\k\to X_i\tens X_i^*$ in the usual way. We then formally define $\ev=\sum_i
\ev_i\circ(\tau_i\tens\tau_i^*)$ and $\coev=\sum_i \coev_i$.

Our definition is invariant under coactions of $A$ as it should be, since the projections $\tau_i$ commute with the coaction of $A$. In particular, it is invariant under braidings.

Cosemisimplicity and Peter-Weyl De
our approach on a formal level insofar, that we have not addressed the doubt how an countless dimensional space (of fields) can be treat in a braid category. This is certainly necessary if we desire to do quantum field theory, i.e., cover with infinitely many degrees of exemption. An obvious problem is the definition of the coevaluation. It seems that we need at least a completed tensor merchandise for this. However, instead of introducing heavy functional analytic machinery, we can stick with our algebraic access given a further assumption. 

 Let us wear that the space of (regular) fields $ X$ decomposes into a lineal sum $ \bigoplus_i X_i$ of countably many finite dimensional comodules under the isotropy quantum group $ A$. This corresponds roughly to the classical case of the distance - time manifold being compact. In particular, it is the case if the isotropy quantum group $ A$ is cosemisimple (or classically the Lie group of symmetry is compact, see Section   \[sec: PeterWeyl\ ] below). Denote the projection $ X\to X_i$ by $ \tau_i$. 

 We now allow arbitrary sums of elements in $ X$ given that any project $ \tau_i$ annihilates all but finitely many summands. Similarly, we allow infinite sum in the $ n$-fold tensor intersection $ X^n$ with the restriction that any projection $ \tau_{i_1}\tens\cdots\tens\tau_{i_n}$ give a finite sum. To define the dual of $ X$, we take the dual of each $ X_i$ and set $ X^*=\bigoplus_i X_i^*$. For each part $ X_i$ we have an evaluation map $ \ev_i: X_i\tens 
 X_i^*\to\k$ and a coevaluation map $ \coev_i:\k\to X_i\tens X_i^*$ in the usual way. We then formally define $ \ev=\sum_i 
 \ev_i\circ(\tau_i\tens\tau_i^*)$ and $ \coev=\sum_i \coev_i$. 

 Our definition is invariant under coactions of $ A$ as it should be, since the projections $ \tau_i$ commute with the coaction of $ A$. In particular, it is invariant under braid. 

 Cosemisimplicity and Peter - Weyl De
 oug approach on a formal ltvel insofar, that we havx not asdressed the question how an infinitx dinensiinal space (of fields) cxn be trewted in q breided category. Tijs is ccxtainmn neczswary if we wanj to do quandum field theosy, i.z., deal with infinitely many degrees jf freecol. An obvious ptoblek is fhe definition of the coevaluation. It seeks that we nerd at least a completed tejsor product for this. Jowever, insjsad if introducivg heavy fluctional anzlytic machinery, we can stick wkth obr algebraix qppgmach given e furtrer assumption.

Let us assume that the spacc of (ceguoar) fields $X$ decomposxs into a direct sum $\bigoplus_h R_i$ of countably many dibite gimetsiovql zomkdnlea undeg tie symmetry quantum griup $A$. This correspomdf roughly to tge clafsycal case of the space-time manifold beitg dompact. In particular, ir is the case if the dymmetry zuantum group $A$ is cosemisimple (or classically tha Lie erobi ud dymmetries is compact, see Section \[sec:PeterWeyl\] gekoe). Denote the pvojection $X\to X_i$ bu $\hai_y$.

We now allow arbitxzrg sums of elements in $X$ gyven rhat any krojevtion $\tau_i$ annihilates all vut finitely nany summands. Simiparly, we aluow onfinote sums in the $n$-fold tznsor lroduct $X^n$ aith the ddstriction that xny psojection $\tau_{i_1}\tens\cdots\tenf\tau_{i_n}$ yixlds c finite sum. To desine the dkal on $X$, we take the duap of gach $X_h$ and set $D^*=\bigoplus_i X_i^*$. For each componenv $X_i$ we have sn evdluation map $\cv_i:X_i\tens
X_i^*\to\k$ wnd a coevaluajion map $\eoev_i:\k\go X_i\tens Q_i^*$ in the usual way. Re then formanpy define $\ev=\vum_i
\ev_i\cyrc(\tqu_i\twns\tau_i^*)$ xnd $\coev=\sum_i \cpev_i$.

Our dvfnnition iw invariant under goactkkns of $A$ as it whoood be, since thr pfojqcniois $\tat_h$ commute widh tfe zpactiun of $A$. In iargicukar, it is invariant gnded braidings.

Cosemisomilicity abd Peter-Reyl De
our approach on a formal level insofar, have addressed the how an infinite be in a braided This is certainly if we want to do quantum theory, i.e., deal with infinitely many degrees of freedom. An obvious problem is definition of the coevaluation. It seems that we need at least a completed product this. instead introducing heavy functional analytic machinery, we can stick with our algebraic approach given a further assumption. us assume that the space of (regular) fields decomposes into a direct $\bigoplus_i X_i$ of countably many dimensional under the quantum $A$. corresponds roughly to classical case of the space-time manifold being compact. In particular, it is the case if the symmetry group $A$ (or classically Lie of is compact, see below). Denote the projection $X\to X_i$ now allow arbitrary sums of elements in $X$ that any $\tau_i$ annihilates all but finitely many Similarly, we allow infinite sums in the $n$-fold product $X^n$ with the restriction that any projection $\tau_{i_1}\tens\cdots\tens\tau_{i_n}$ yields a finite sum. To define of $X$, we take dual of each and $X^*=\bigoplus_i For component $X_i$ have an evaluation map $\ev_i:X_i\tens X_i^*\to\k$ and a coevaluation map $\coev_i:\k\to X_i^*$ in the usual way. We then formally define $\ev=\sum_i $\coev=\sum_i Our definition is under coactions of $A$ it be, since the projections with coaction particular, is under braidings. Cosemisimplicity and De
 our approach on a formal level Insofar, thaT we haVe nOt aDdRessEd thE question how an INfinIte dimensional space (of fIelds) CaN Be trEAtEd in a Braided CAtEGOry. thIs Is cErTAiNly neCesSary if wE want to do qUanTuM field theory, I.E., dEal with infIniTely many degrEes Of freeDoM. An OBviouS prOblem Is the dEFinitiOn of the coEvALuatioN. it seems THAt We neEd at least a completED tENsor product for This. HoWeVEr, INSteAd oF introduciNg Heavy FUnctionAL aNALYtiC Machinery, we caN stick with oUR alGebraiC aPprOAch givEn a fuRtHEr aSsumption.

LeT us aSsume that The spaCE of (reguLAr) fieldS $X$ decoMpoSes Into A DiReCt sUm $\BIgoPLuS_i X_I$ Of cOuntably MaNy FinitE dimENSIOnal ComOdulEs undEr the symmetry QuaNtum GRouP $A$. ThiS corrEspoNdS rougHly to tHe claSsIcal case of the spAce-tIme manifoLd bEiNg cOmPact. IN ParticUlaR, it Is the caSe if the SYmmEtRY QUaNtum group $A$ is cosemiSiMPLe (Or classiCally tHE LIe GRoup of syMmEtrIes iS COmpacT, see sEcTion \[sec:PEterWeYL\] bElOw). DenotE tHe projEcTioN $X\tO X_i$ by $\TAu_i$.

WE now alLow arbitRary sUMs of elements in $x$ Given that any pROjECTiON $\tau_I$ anNihilates alL but FInitEly mANy SumMAnds. SImilaRlY, We ALlow infinite sums in tHe $N$-fold tEnsor Product $X^n$ with The restricTION that any ProjECtIOn $\tau_{i_1}\tens\cdotS\tens\Tau_{i_n}$ yieldS A finite sUm. To dEfine the Dual of $X$, we TAKe the duaL of EacH $X_i$ And SET $X^*=\Bigoplus_i X_i^*$. FoR EAch cOmPonent $X_I$ we Have an eValUatIon Map $\Ev_I:X_i\tens
X_i^*\To\k$ and a cOeVaLuAtIon Map $\coEV_i:\k\to X_i\tEnS X_i^*$ In The Usual WAy. We thEn forMallY dEfINe $\eV=\sum_i
\ev_I\CiRC(\Tau_i\TeNs\Tau_i^*)$ And $\CoEv=\sum_I \coeV_I$.

OuR definiTion is invAriANt unDeR cOactionS of $A$ as it shoulD bE, since the pRoJecTions $\tAU_I$ commute With the coaction of $A$. In parTIcular, iT is InvarIant Under braiDinGs.

CoseMisIMpliciTy and PEter-WEyL De
 our approach on a formallevel inso far,tha t w ehave  not  addressed the ques tion how an infinite d imens io n al s p ac e (of  fields )  c a n  be  t re ate di na bra ide d categ ory. Thisisce rtainly nece s sa ry if we w ant  to do quant umfieldth eor y , i.e .,dealwith i n finite ly many d eg r ees of freedom . An  obv ious problem is t h ed efinition of t he coe va l ua t i on.  It  seems tha twe ne e d at le a st a com p leted tensorproduct for thi s. How ev er, instea d ofin t rod ucing heavy  fun ctional a nalyti c  machin e ry, wecan st ick  wi th o u ral geb ra i c a p pr oac h  gi ven a fu rt he r ass umpt i o n . 

Le t u s as sumethat the spac e o f (r e gul ar) f ields  $X$  d ecomp oses i nto a  d irect sum $\big oplu s_i X_i$ofco unt ab ly ma n y fini tedim ensiona l comod u les  u n d e rthe symmetry quant um g ro up $A$.This c o rr es p onds rou gh lyto t h e  clas sica l  c ase of t he spa c e- ti me mani fo ld bei ng  co mpa ct. I n  par ticula r, it is  thec ase if the sym m etry quantumg ro u p  $ A $ is  co semisimple(orc lass ical l ythe Lie g roupof sy m metries is compact,  s ee Sec tion\[sec:PeterWe yl\] below ) . Denote t he p r oj e ction $X\to X_ i$ by  $\tau_i$. 
We nowallow  arbitra ry sums o f elements  in  $X $ g ive n th at any projec t i on $ \t au_i$ a nni hilates  al l b utfin it ely manysummands .Si mi la rly , wea llow inf in ite  s ums  in t h e $n$- foldtens or  p r odu ct $X^n $  w i t h th ere stri cti on  that  any pro jection  $\tau_{i _1} \ tens \c do ts\tens \tau_{i_n}$ y ie lds a fini te  su m. Tod e fine the  dual of $X$, we take t h e dualofeach$X_i $ and set  $X ^*=\bi gop l us_i X _i^*$.  Forea chc o mpone n t  $ X_i $we have an e val uatio nmap$\ev_i: X_i\tens
X_i^*\to\ k $ a nd a coevalua tio n ma p $\ coe v _i : \k\ to X_i \ t ens X_i^*$ in t he usual w ay .  W e then for m all ydefine$\ev=\s um_i\ ev_i\ci rc(\tau_i \tens\tau _i ^*)$ a nd$\coev=\su m_i \coe v_i$.

Ou r  defi n it ion i s i nvaria nt  un der c oactio n s o f $A$  as it  s houldbe, s in ce the p rojections $\tau_i$ com mute w ith t hecoactionof$ A$.  In parti cula r, it is i nva ria nt un der braid ings . 
Cos e misim plic i ty and Pe t er -We y l  D e
 our_approach on_a formal level insofar,_that we_have_not addressed_the_question how an_infinite dimensional space_(of fields) can be_treated in a_braided_category. This is certainly necessary if we want to do quantum field theory, i.e.,_deal_with infinitely_many_degrees_of freedom. An obvious problem_is the definition of the_coevaluation. It_seems that we need at least a completed_tensor_product for this._However, instead of introducing heavy functional analytic machinery, we_can stick with our algebraic approach_given a further_assumption.

Let_us_assume that the space_of (regular) fields $X$ decomposes into_a direct sum $\bigoplus_i X_i$ of_countably many finite dimensional comodules under the_symmetry quantum group $A$. This corresponds_roughly to the classical case_of the_space-time manifold being compact. In_particular, it is_the case_if the symmetry_quantum group $A$ is cosemisimple (or_classically the Lie_group of symmetries is compact, see_Section \[sec:PeterWeyl\]_below). Denote the_projection_$X\to_X_i$ by_$\tau_i$.

We now allow_arbitrary_sums of_elements_in $X$ given that any projection_$\tau_i$_annihilates all but finitely many summands. Similarly,_we allow infinite sums_in_the $n$-fold tensor product_$X^n$ with the restriction that_any projection $\tau_{i_1}\tens\cdots\tens\tau_{i_n}$ yields a finite_sum. To_define the_dual of $X$, we take the dual of each $X_i$ and_set $X^*=\bigoplus_i X_i^*$. For each component_$X_i$ we have an_evaluation map_$\ev_i:X_i\tens
X_i^*\to\k$_and a coevaluation_map_$\coev_i:\k\to X_i\tens_X_i^*$ in the usual way. We then_formally define_$\ev=\sum_i
\ev_i\circ(\tau_i\tens\tau_i^*)$ and $\coev=\sum_i \coev_i$.

Our definition is_invariant under coactions of_$A$_as it should be, since the_projections $\tau_i$ commute with the coaction_of $A$. In particular, it_is_invariant_under braidings.

Cosemisimplicity and Peter-Weyl De