beta$ to ${\mathcal{C}}$ does preserve finite products; this is part of proof of [@Glicksberg Thm. 3]. In conclusion, [Theorem [\[thm:main\]]{}]{}(a) applies to the situation $$\xymatrix{
    {\mathcal{C}}=\mathsf{PsLocComp} \ar@<0.5ex>[r]^-{F=\beta} & \mathsf{CompHaus}={\mathcal{D}}\,, \ar@<0.5ex>[l]^-{G}
  }$$ and shows that every algebraic structure on a pseudocompact and locally compact topological space $X$ ascends uniquely along the canonical map $\eta_X \colon X \to \beta X$ (which is the unit of the adjunction), as asserted in Theorem A(b).

It is proved in Munkres [@Munkres Cor. 82.2] (see also May [@May Chap. 3§8]) that a topological space has a universal covering space if and only if it is path connected, locally path connected, and semi-locally simply connected[^8]. Write ${\mathcal{D}}$ for the category of all such spaces, and ${\mathcal{C}}=\mathsf{SConn}$ for the category of simply connected topological spaces. Note that ${\mathcal{C}}$ and ${\mathcal{D}}$ are closed under finite products in ${\mathsf{Top}}$; see e.g. [@Chevalley II§7 Prop. 1 and II§8 Prop. 4].

Let ${\mathsf{Top}}_*$ be the category of pointed topological spaces and denote by ${\mathcal{C}}_*$ and ${\mathcal{D}}_*$ the full subcategories of ${\mathsf{Top}}_*$ whose objects are the ones in ${\mathcal{C}}$ and ${\mathcal{D}}$, respectively. As noted above, the inclusion functor $F \colon {\mathcal{C}}_* \to {\mathcal{D}}_*$ preserves finite products. Since we work with pointed spaces, the universal covering space ${\mathcal{C}}_* \ni \tilde{X} \to X$ of a space $X \in {\mathcal{D}}_*$ has the unique mapping property, see e.g. [@Chevalley II§8 Prop. 1], in other words, $F(\tilde{X})=\tilde{X} \to X$ is a universal arrow from
beta$ to $ { \mathcal{C}}$ does preserve finite products; this is part of proof of [ @Glicksberg Thm.   3 ]. In ending, [ Theorem   [ \[thm: main\]]{}]{}(a) enforce to the situation $ $ \xymatrix { 
     { \mathcal{C}}=\mathsf{PsLocComp } \ar@<0.5ex>[r]^-{F=\beta } & \mathsf{CompHaus}={\mathcal{D}}\, , \ar@<0.5ex>[l]^-{G } 
   } $ $ and testify that every algebraic social organization on a pseudocompact and locally compact topological space $ X$ ascends uniquely along the canonical function $ \eta_X \colon X \to \beta X$ (which is the whole of the adjunction), as assert in Theorem   A(b). 

 It is proved in Munkres   [ @Munkres Cor.   82.2 ] (see besides May   [ @May Chap.   3§8 ]) that a topological space has a universal covering quad if and only if it is path connected, locally path connected, and semi - locally merely connected[^8 ]. Write $ { \mathcal{D}}$ for the category of all such spaces, and $ { \mathcal{C}}=\mathsf{SConn}$ for the class of simply connected topological space. notice that $ { \mathcal{C}}$ and $ { \mathcal{D}}$ are closed under finite products in $ { \mathsf{Top}}$; see e.g.   [ @Chevalley II§7   Prop.   1 and II§8   Prop.   4 ]. 

 Let $ { \mathsf{Top}}_*$ be the class of pointed topological spaces and denote by $ { \mathcal{C}}_*$ and $ { \mathcal{D}}_*$ the full subcategories of $ { \mathsf{Top}}_*$ whose objects are the ones in $ { \mathcal{C}}$ and $ { \mathcal{D}}$, respectively. As noted above, the inclusion body functor $ F \colon { \mathcal{C } } _ * \to { \mathcal{D}}_*$ continue finite products. Since we work with pointed spaces, the universal covering space $ { \mathcal{C } } _ * \ni \tilde{X } \to X$ of a space $ X \in { \mathcal{D}}_*$ has the unique function place, see e.g.   [ @Chevalley II§8   Prop.   1 ], in other actor's line, $ F(\tilde{X})=\tilde{X } \to X$ is a universal arrow from
betw$ to ${\mathcal{C}}$ does presevve finite produers; thiv is pzrt of pfoof of [@Glicksberg Thm. 3]. In coicluwion, [Ukeorem [\[thm:main\]]{}]{}(a) applids to the situatiin $$\xbmatrix{
    {\mathcem{C}}=\mathsn{'sLocDlmp} \cr@<0.5xx>[r]^-{F=\beta} & \mathsn{CompHaus}={\madhcal{D}}\,, \ar@<0.5ex>[l]^-{G}
  }$$ xnb shows that every algebraic structuwe on a pdeudocompact agd lpsallg compact topological space $X$ ascehds unixuely along tne canonical map $\eta_X \coloj X \ho \beta X$ (which is the unit od thq adjunction), xs asserted in Theorem Z(b).

It is proved in Munkres [@Munkrer Cor. 82.2] (see also Nat [@Maj Chap. 3§8]) that e topojogical spacc has a univerxal covering siace mf abd only if it is path connected, locally path conteeted, and semi-locally winply wonnactea[^8]. Wrkte ${\methdal{D}}$ flr vhe categorg of all suxh spaces, and ${\mathcsl{S}}=\nathsf{SConn}$ fkr the cwtegory of simply connected topological spzces. Note that ${\mathcal{C}}$ and ${\mathcal{D}}$ are cloded under finite products in ${\mathsf{Top}}$; see e.g. [@Chevalley II§7 Psop. 1 aid II§8 Krip. 4].

Let ${\nahhsf{Top}}_*$ be the category of pointed topologicaj skacvs and denote by ${\iathcal{C}}_*$ anc ${\layrcal{D}}_*$ the fulu subccfefories of ${\mathsf{Too}}_*$ whose objexts are tre omes in ${\mathcal{C}}$ and ${\mathcal{E}}$, respectivejt. As noted above, tke inclusion funvtor $G \colon {\mathcal{C}}_* \to {\matkcal{D}}_*$ lreserves flnite prosjcts. Since we wofk eidh pointta spaces, the univqrsal covxring space ${\oathval{C}}_* \ny \tilde{X} \tl X$ on a space $X \in {\mathfal{D}}_*$ kas tve unique lapping property, see e.g. [@Chevalleb II§8 Prop. 1], in ojhes wmrds, $F(\tijde{X})=\tllde{X} \to X$ is a universal arrpw from
beta$ to ${\mathcal{C}}$ does preserve finite products; part proof of Thm. 3]. In the $$\xymatrix{ {\mathcal{C}}=\mathsf{PsLocComp} \ar@<0.5ex>[r]^-{F=\beta} \mathsf{CompHaus}={\mathcal{D}}\,, \ar@<0.5ex>[l]^-{G} }$$ shows that every algebraic structure on pseudocompact and locally compact topological space $X$ ascends uniquely along the canonical map \colon X \to \beta X$ (which is the unit of the adjunction), as in A(b). is in Munkres [@Munkres Cor. 82.2] (see also May [@May Chap. 3§8]) that a topological space has universal covering space if and only if it path connected, locally path and semi-locally simply connected[^8]. Write for category of such and for the category simply connected topological spaces. Note that ${\mathcal{C}}$ and ${\mathcal{D}}$ are closed under finite products in ${\mathsf{Top}}$; see [@Chevalley II§7 and II§8 4]. ${\mathsf{Top}}_*$ the category of spaces and denote by ${\mathcal{C}}_*$ and subcategories of ${\mathsf{Top}}_*$ whose objects are the ones ${\mathcal{C}}$ and respectively. As noted above, the inclusion $F \colon {\mathcal{C}}_* \to {\mathcal{D}}_*$ preserves finite products. we work with pointed spaces, the universal covering space ${\mathcal{C}}_* \ni \tilde{X} \to X$ of $X \in {\mathcal{D}}_*$ has unique mapping property, e.g. II§8 1], other words, \to X$ is a universal arrow from
beta$ to ${\mathcal{C}}$ does preservE finite proDucts; ThiS is PaRt of ProoF of [@Glicksberg THM. 3]. In cOnclusion, [Theorem [\[thm:maiN\]]{}]{}(a) appLiES to tHE sItuatIon $$\xymaTRiX{
    {\MAthCaL{C}}=\MatHsF{pslocCoMp} \aR@<0.5ex>[r]^-{F=\beTa} & \mathsf{CoMpHAuS}={\mathcal{D}}\,, \ar@<0.5eX>[L]^-{G}
  }$$ And shows thAt eVery algebraiC stRucturE oN a pSEudocOmpAct anD localLY compaCt topologIcAL space $x$ Ascends UNIqUely Along the canonical MAp $\ETa_X \colon X \to \betA X$ (whicH iS ThE UNit Of tHe adjunctiOn), As assERted in THEoREM a(b).

IT Is proved in MunKres [@Munkres cOr. 82.2] (sEe also maY [@MaY chap. 3§8]) thAt a toPoLOgiCal space has A uniVersal covEring sPAce if anD Only if iT is patH coNneCted, LOcAlLy pAtH ConNEcTed, ANd sEmi-localLy SiMply cOnneCTED[^8]. writE ${\maThcaL{D}}$ for The category of All Such SPacEs, and ${\MathcAl{C}}=\mAtHsf{SCOnn}$ for The caTeGory of simply conNectEd topologIcaL sPacEs. note tHAt ${\mathCal{c}}$ anD ${\mathcaL{D}}$ are clOSed UnDER FiNite products in ${\mathSf{tOP}}$; sEe e.g. [@ChevAlley Ii§7 prOp. 1 ANd II§8 Prop. 4].

leT ${\maThsf{tOP}}_*$ be thE catEGoRy of poinTed topOLoGiCal spacEs And denOtE by ${\MatHcal{C}}_*$ ANd ${\maThcal{D}}_*$ The full sUbcatEGories of ${\mathsf{tOp}}_*$ whose objectS ArE THe ONes iN ${\maThcal{C}}$ and ${\maThcaL{d}}$, resPectIVeLy. AS Noted Above, ThE InCLusion functor $F \colon {\MaThcal{C}}_* \To {\matHcal{D}}_*$ preserveS finite proDUCTs. Since wE worK WiTH pointed spaces, The unIversal covERing spacE ${\mathCal{C}}_* \ni \tiLde{X} \to X$ of A SPace $X \in {\mAthCal{d}}_*$ haS thE UNiQue mapping proPERty, sEe E.g. [@ChevaLleY II§8 Prop. 1], In oTheR woRds, $f(\tIlde{X})=\tildE{X} \to X$ is a UnIvErSaL arRow frOM
beta$ to ${\mathcal{C}}$ d oes preser ve fi nit e p ro duct s; t his is part of proo f of [@Glicksberg Thm.  3].In conc l us ion,[Theore m  [ \ [ thm :m ai n\] ]{ } ]{ }(a)app lies to  the situa tio n$$\xymatrix{    {\mathca l{C }}=\mathsf{P sLo cComp}  \ ar@ < 0.5ex >[r ]^-{F =\beta }  & \ma thsf{Comp Ha u s}={\m a thcal{D } } \, , \a r@<0.5ex>[l]^-{G}  } $$ and shows t hat ev er y  a l g ebr aic  structure  o n a p s eudocom p ac t a ndl ocally compac t topologic a l s pace $ X$  as c ends u nique ly alo ng the cano nica l map $\e ta_X \ c olon X\ to \bet a X$ ( whi chis t h eun itof the ad jun c tio n), as a ss er ted i n Th e o r e m A( b). 

It  is p roved in Munk res  [@M u nkr es Co r. 82 .2](s ee al so May  [@Ma yChap. 3§8]) tha t atopologic alsp ace  h as au nivers alcov ering s pace if and  o n l y  i f it is path conne ct e d ,locallypath c o nn ec t ed, andse mi- loca l l y sim plyc on nected[^ 8]. Wr i te  $ {\mathc al {D}}$fo r t hecateg o ry o f allsuch spa ces,a nd ${\mathcal{ C }}=\mathsf{SC o nn } $  f o r th e c ategory ofsimp l y co nnec t ed  to p ologi cal s pa c es .  Note that ${\mathc al {C}}$and $ {\mathcal{D}} $ are clos e d under fi nite pr o ducts in ${\ma thsf{ Top}}$; se e  e.g. [@ Cheva lley II§ 7 Prop. 1 a nd II§8Pro p.4]. 

L e t  $ {\mathsf{Top} } _ *$ b ethe cat ego ry of p oin ted  to pol og ical spac es and d en ot eby  ${ \math c al{C}}_* $and  $ {\m athca l {D}}_* $ the  ful lsu b cat egories of $ {\ma th sf {Top }}_ *$  whos e ob j ect s are t he ones i n $ { \mat hc al {C}}$ a nd ${\mathcal {D }}$, respe ct ive ly. As n oted abo ve, the inclusion funct o r $F \c olo n {\m athc al{C}}_*\to  {\mat hca l {D}}_* $ pres erves  f ini t e  prod u c ts . S in ce we work w ith  poin te d sp aces, t he universal cover i ngspace ${\math cal {C}} _ *  \ ni\ ti l de{ X} \to X $ of a space $X  \in {\mat hc a l{ D}}_*$ has the  u nique m appingprope r ty, see  e.g. [@C hevalleyII §8 P r o p.1], in oth er words , $F(\til d e{X}) = \t ilde{ X}\to X$  i s a  univ ersala rro w fro m
beta$ to_${\mathcal{C}}$ does_preserve finite products; this_is part_of_proof of_[@Glicksberg_Thm. 3]. In conclusion,_[Theorem [\[thm:main\]]{}]{}(a) applies to_the situation $$\xymatrix{
 _  {\mathcal{C}}=\mathsf{PsLocComp}_\ar@<0.5ex>[r]^-{F=\beta}_& \mathsf{CompHaus}={\mathcal{D}}\,, \ar@<0.5ex>[l]^-{G}
  }$$ and shows that every algebraic structure on a pseudocompact_and_locally compact_topological_space_$X$ ascends uniquely along the_canonical map $\eta_X \colon X_\to \beta_X$ (which is the unit of the adjunction),_as_asserted in Theorem A(b).

It_is proved in Munkres [@Munkres Cor. 82.2] (see also May [@May Chap. 3§8])_that a topological space has a_universal covering space_if_and_only if it is_path connected, locally path connected, and_semi-locally simply connected[^8]. Write ${\mathcal{D}}$ for_the category of all such spaces, and_${\mathcal{C}}=\mathsf{SConn}$ for the category of simply_connected topological spaces. Note that_${\mathcal{C}}$ and_${\mathcal{D}}$ are closed under finite_products in ${\mathsf{Top}}$;_see e.g. [@Chevalley_II§7 Prop. 1 and II§8 Prop. 4].

Let_${\mathsf{Top}}_*$ be the category of pointed_topological spaces and_denote by ${\mathcal{C}}_*$ and ${\mathcal{D}}_*$ the_full_subcategories of ${\mathsf{Top}}_*$_whose_objects_are the_ones in ${\mathcal{C}}$_and_${\mathcal{D}}$, respectively._As_noted above, the inclusion functor $F_\colon_{\mathcal{C}}_* \to {\mathcal{D}}_*$ preserves finite products. Since_we work with pointed_spaces,_the universal covering space_${\mathcal{C}}_* \ni \tilde{X} \to X$_of a space $X \in {\mathcal{D}}_*$_has the_unique mapping_property, see e.g. [@Chevalley II§8 Prop. 1], in other words, $F(\tilde{X})=\tilde{X} \to X$ is_a universal arrow from