D}}_0$ which makes the left diagram in the following display commutative: $$\xymatrix{
    {\tilde{C}} \ar[r]^-{{\tilde{\eta}}_{{\tilde{C}}}} \ar[d]_-{{\tilde{\varphi}}} & {\tilde{G}}({\tilde{D}}) \ar[dl]^-{{\tilde{G}}({\tilde{\delta}})}
    \\
    {\tilde{G}}({\tilde{D}}_0) & {}
  }
  \qquad \qquad
  \xymatrix{
    C \ar[r]^-{\eta_C} \ar[d]_-{\eta_C} & G(D) \ar[dl]^-{G({U_{{\mathcal{D}}}}({\tilde{\delta}}))}
    \\
    G(D) & {}
  }$$ The right diagram above is obtained from the left one by applying the functor ${U_{{\mathcal{C}}}}$. As the unit $\eta_C \colon C \to G(D)$ is a universal arrow from $C$ to $G$, that is, $(D,\eta_C)$ is the initial object in the comma category $(C \downarrow G)$, then the morphism ${U_{{\mathcal{D}}}}({\tilde{\delta}})$ must be the identity ${\operatorname{id}_{D}}$ on $D$. It follows from [Remark [\[rmk:action\]]{}]{}(b) that ${\tilde{\delta}}$ is an isomorphism.

Applications {#sec:app}
============

In this final section, we apply [Theorem [\[thm:main\]]{}]{} in some specific examples and thereby give a proof of Theorem A in the Introduction.

Let ${\mathcal{C}}=\mathsf{Met}$ be the category whose objects are all metric spaces and whose morphisms are all continuous functions. This category has finite products, indeed, the product of metric spaces $(M,d_M)$ and $(N,d_N)$ is $(M \times N,d_{M \times N})$ where $d_{M \times N}$ is given by $$d_{M \times N}((x_1,y_1),(x_2,y_2))=\max\{d_M(x_1,x_2),d_N(y_1,y_2)\}\,.$$ Let ${\mathcal{D}}=\mathsf{CompMet}$ be the full subcategory of $\mathsf{Met}$ consisting of
D}}_0 $ which makes the left diagram in the following display commutative: $ $ \xymatrix { 
     { \tilde{C } } \ar[r]^-{{\tilde{\eta}}_{{\tilde{C } } } } \ar[d]_-{{\tilde{\varphi } } } & { \tilde{G}}({\tilde{D } }) \ar[dl]^-{{\tilde{G}}({\tilde{\delta } }) } 
     \\ 
     { \tilde{G}}({\tilde{D}}_0) & { } 
   } 
   \qquad \qquad 
   \xymatrix { 
     C \ar[r]^-{\eta_C } \ar[d]_-{\eta_C } & G(D) \ar[dl]^-{G({U_{{\mathcal{D}}}}({\tilde{\delta } }) ) } 
     \\ 
     G(D) & { } 
   } $ $ The right diagram above is obtained from the leftover one by enforce the functor $ { U_{{\mathcal{C}}}}$. As the unit $ \eta_C \colon C \to G(D)$ is a cosmopolitan arrow from $ C$ to $ G$, that is, $ (D,\eta_C)$ is the initial object in the comma class $ (C \downarrow G)$, then the morphism $ { U_{{\mathcal{D}}}}({\tilde{\delta}})$ must be the identity $ { \operatorname{id}_{D}}$ on $ D$. It follows from [ Remark   [ \[rmk: action\]]{}]{}(b) that $ { \tilde{\delta}}$ is an isomorphism. 

 Applications { # sec: app } 
 = = = = = = = = = = = = 

 In this concluding section, we apply [ Theorem   [ \[thm: main\ ] ] { } ] { } in some specific examples and thereby move over a proof of Theorem   A in the Introduction. 

 lease $ { \mathcal{C}}=\mathsf{Met}$ be the category whose objects are all measured spaces and whose morphisms are all continuous functions. This class has finite products, indeed, the merchandise of measured spaces $ (M, d_M)$ and $ (N, d_N)$ is $ (M \times N, d_{M \times N})$ where $ d_{M \times N}$ is given by $ $ d_{M \times N}((x_1,y_1),(x_2,y_2))=\max\{d_M(x_1,x_2),d_N(y_1,y_2)\}\,.$$ get $ { \mathcal{D}}=\mathsf{CompMet}$ be the full subcategory of $ \mathsf{Met}$ consisting of
D}}_0$ wjich makes the left diagvam in the follocung divplay dommutatkve: $$\xymatrix{
    {\tilde{C}} \ar[r]^-{{\tipdw{\eta}}_{{\tulde{C}}}} \ar[d]_-{{\tilde{\varphi}}} & {\gilde{G}}({\tilfe{D}}) \ar[dl]^-{{\rildt{G}}({\tilde{\delta}})}
    \\
    {\tilde{N}}({\cilde{S}}_0) & {}
  }
  \qquad \qquad
  \wymatrix{
    C \ar[r]^-{\eta_C} \ar[d]_-{\atx_C} & G(D) \ar[dl]^-{G({U_{{\mathcal{D}}}}({\tilde{\delta}}))}
    \\
    G(D) & {}
  }$$ Hhe right diagtam anjve js obtained from the left one by alplying the functor ${I_{{\mathcal{C}}}}$. As the unit $\eta_C \colln C \to G(D)$ is a unlversal arriw fwim $C$ to $G$, thxt is, $(D,\eta_B)$ is the injtial object in the comma categury $(C \downarrow G)$, thft the morphmsm ${U_{{\mwthcal{D}}}}({\tilde{\delta}})$ muvt be tne identity ${\opcratocnamw{id}_{D}}$ on $D$. It follows hrom [Remark [\[rmk:action\]]{}]{}(f) that ${\tindz{\delta}}$ is an isomorphusn.

Applhcathons {#wec:xpp}
============

Jn tgis fijal section, ws apply [Theirem [\[thm:main\]]{}]{} in some s[vvific examplss and trereby give a proof of Theorem A in the Pntrkduction.

Let ${\mathcal{C}}=\matysf{Met}$ be the categori whose obtects are all metric spaces and whose morphisms ase alm coublnuojw vunctions. This category has finite products, igsetd, nhe product of mebric spaces $(M,d_M)$ anc $(J,d_M)$ is $(M \times N,a_{M \timza H})$ where $d_{M \times N}$ is givgn by $$e_{M \times G}((x_1,y_1),(x_2,u_2))=\max\{d_M(x_1,x_2),d_N(y_1,y_2)\}\,.$$ Let ${\mathcal{D}}=\marhsf{CompMet}$ ye rhe full subcategoxy of $\mathsf{Oet}$ vonsixting of
D}}_0$ which makes the left diagram in display $$\xymatrix{ {\tilde{C}} \ar[d]_-{{\tilde{\varphi}}} & {\tilde{G}}({\tilde{D}}) } \qquad \xymatrix{ C \ar[d]_-{\eta_C} & G(D) \\ G(D) & {} }$$ The diagram above is obtained from the left one by applying the functor ${U_{{\mathcal{C}}}}$. the unit $\eta_C \colon C \to G(D)$ is a universal arrow from $C$ $G$, is, is initial object in the comma category $(C \downarrow G)$, then the morphism ${U_{{\mathcal{D}}}}({\tilde{\delta}})$ must be the ${\operatorname{id}_{D}}$ on $D$. It follows from [Remark [\[rmk:action\]]{}]{}(b) ${\tilde{\delta}}$ is an isomorphism. {#sec:app} ============ In this final we [Theorem [\[thm:main\]]{}]{} some examples thereby give a of Theorem A in the Introduction. Let ${\mathcal{C}}=\mathsf{Met}$ be the category whose objects are all metric spaces whose morphisms continuous functions. category finite indeed, the product spaces $(M,d_M)$ and $(N,d_N)$ is $(M N})$ where $d_{M \times N}$ is given by \times N}((x_1,y_1),(x_2,y_2))=\max\{d_M(x_1,x_2),d_N(y_1,y_2)\}\,.$$ ${\mathcal{D}}=\mathsf{CompMet}$ be the full subcategory of consisting of
D}}_0$ which makes the left diagram In the folloWing dIspLay CoMmutAtivE: $$\xymatrix{
    {\tilde{c}} \Ar[r]^-{{\tIlde{\eta}}_{{\tilde{C}}}} \ar[d]_-{{\tilde{\vArphi}}} & {\TiLDe{G}}({\tILdE{D}}) \ar[dL]^-{{\tilde{G}}({\TIlDE{\DelTa}})}
    \\
    {\TiLde{g}}({\tILdE{D}}_0) & {}
  }
  \qquAd \qQuad
  \xymAtrix{
    C \ar[r]^-{\eTa_C} \Ar[D]_-{\eta_C} & G(D) \ar[dl]^-{G({u_{{\MaThcal{D}}}}({\tildE{\deLta}}))}
    \\
    G(D) & {}
  }$$ The righT diAgram aBoVe iS ObtaiNed From tHe left ONe by apPlying the FuNCtor ${U_{{\mAThcal{C}}}}$. AS THe Unit $\Eta_C \colon C \to G(D)$ is a UNiVErsal arrow from $c$ to $G$, thAt IS, $(D,\ETA_C)$ iS thE initial obJeCt in tHE comma cATeGORY $(C \dOWnarrow G)$, then tHe morphism ${U_{{\MAthCal{D}}}}({\tiLdE{\deLTa}})$ must Be the IdENtiTy ${\operatornAme{iD}_{D}}$ on $D$. It foLlows fROm [RemarK [\[Rmk:actiOn\]]{}]{}(b) thaT ${\tiLde{\DeltA}}$ Is An IsoMoRPhiSM.

APplICatIons {#sec:aPp}
============

in This fInal SECTIon, wE apPly [THeoreM [\[thm:main\]]{}]{} in somE spEcifIC exAmpleS and tHereBy Give a Proof oF TheoReM A in the IntroducTion.

let ${\mathcaL{C}}=\mAtHsf{meT}$ be thE CategoRy wHosE objectS are all MEtrIc SPACeS and whose morphisms ArE ALl ContinuoUs funcTIoNs. tHis categOrY haS finITE prodUcts, INdEed, the prOduct oF MeTrIc spaceS $(M,D_M)$ and $(N,D_N)$ Is $(M \TimEs N,d_{M \TImes n})$ where $D_{M \times N}$ Is givEN by $$d_{M \times N}((x_1,y_1),(x_2,Y_2))=\Max\{d_M(x_1,x_2),d_N(y_1,y_2)\}\,.$$ LeT ${\MaTHCaL{d}}=\matHsf{compMet}$ be thE fulL SubcAtegORy Of $\mAThsf{MEt}$ conSiSTiNG of
D}}_0$ which makes the lef t diagramin th e f oll ow ingdisp lay commutativ e : $$ \xymatrix{
    {\tilde {C}}\a r [r]^ - {{ \tild e{\eta} } _{ { \ til de {C }}} }\ ar [d]_- {{\ tilde{\ varphi}}}& { \t ilde{G}}({\t i ld e{D}}) \ar [dl ]^-{{\tilde{ G}} ({\til de {\d e lta}} )}    \ \
   { \tilde {G}}({\ti ld e {D}}_0 )  & {}
} 
 \qq uad \qquad
  \xym a tr i x{
    C \ar[r ]^-{\e ta _ C} \ ar[ d]_ -{\eta_C}&G(D)\ ar[dl]^ - {G ( { U _{{ \ mathcal{D}}}} ({\tilde{\d e lta }}))}   \ \ 
    G (D) &  { } 
 }$$ The rig ht d iagram ab ove is obtaine d  from t he lef t o neby a p pl yi ngth e  fu n ct or$ {U_ {{\mathc al {C }}}}$ . As t h e  uni t $ \eta _C \c olon C \to G( D)$  isa  un ivers al ar rowfr om $C $ to $ G$, t ha t is, $(D,\eta_ C)$is the in iti al  ob je ct in the co mma  ca tegory$(C \do w nar ro w G )$ , then the morphis m$ { U_ {{\mathc al{D}} } }( {\ t ilde{\de lt a}} )$ m u s t bethei de ntity ${ \opera t or na me{id}_ {D }}$ on  $ D$.  It  foll o ws f rom [R emark [\ [rmk: a ction\]]{}]{}( b ) that ${\til d e{ \ d el t a}}$  is  an isomorp hism . 

Ap plic a ti ons {#sec :app} 
= = == = =======

In this fi na l sect ion,we apply [The orem [\[th m : m ain\]]{} ]{}i ns ome specific e xampl es and the r eby give  a pr oof of T heorem Ai n  the Int rod uct ion .
L e t${\mathcal{C} } = \mat hs f{Met}$  be  the ca teg ory  wh ose  o bjects ar e all me tr ic  s pa ces  andw hose mor ph ism sare  allc ontinu ous f unct io ns .  Th is cate g or y hasfi ni te p rod uc ts, i ndee d , t he prod uct of me tri c  spa ce s$(M,d_M )$ and $(N,d_ N) $ is $(M \ ti mes  N,d_{ M \times N })$ where $d_{M \timesN }$ is g ive n by$$d_ {M \times  N} ((x_1, y_1 ) ,(x_2, y_2))= \max\ {d _M( x _ 1,x_2 ) , d_ N(y _1 ,y_2)\}\,. $ $  Le t ${\ ma thca l{D}}=\ mathsf{CompMet}$ b e  th e full subcat ego ry o f $\ mat h sf { Met }$ con s i sting of
D}}_0$ which_makes the_left diagram in the_following display_commutative:_$$\xymatrix{
 __ {\tilde{C}} \ar[r]^-{{\tilde{\eta}}_{{\tilde{C}}}}_\ar[d]_-{{\tilde{\varphi}}} & {\tilde{G}}({\tilde{D}})_\ar[dl]^-{{\tilde{G}}({\tilde{\delta}})}
   _\\
  __{\tilde{G}}({\tilde{D}}_0) & {}
  }
  \qquad \qquad
  \xymatrix{
    C_\ar[r]^-{\eta_C}_\ar[d]_-{\eta_C} &_G(D)_\ar[dl]^-{G({U_{{\mathcal{D}}}}({\tilde{\delta}}))}
_   \\
 _  G(D) & {}
_ }$$_The right diagram above is obtained from the_left_one by applying_the functor ${U_{{\mathcal{C}}}}$. As the unit $\eta_C \colon C_\to G(D)$ is a universal arrow_from $C$ to_$G$,_that_is, $(D,\eta_C)$ is the_initial object in the comma category_$(C \downarrow G)$, then the morphism_${U_{{\mathcal{D}}}}({\tilde{\delta}})$ must be the identity ${\operatorname{id}_{D}}$ on_$D$. It follows from [Remark [\[rmk:action\]]{}]{}(b) that_${\tilde{\delta}}$ is an isomorphism.

Applications {#sec:app}
============

In_this final_section, we apply [Theorem [\[thm:main\]]{}]{} in_some specific examples_and thereby_give a proof_of Theorem A in the Introduction.

Let ${\mathcal{C}}=\mathsf{Met}$_be the category_whose objects are all metric spaces_and_whose morphisms are_all_continuous_functions. This_category has finite_products,_indeed, the_product_of metric spaces $(M,d_M)$ and $(N,d_N)$_is_$(M \times N,d_{M \times N})$ where $d_{M_\times N}$ is given_by_$$d_{M \times N}((x_1,y_1),(x_2,y_2))=\max\{d_M(x_1,x_2),d_N(y_1,y_2)\}\,.$$ Let_${\mathcal{D}}=\mathsf{CompMet}$ be the full subcategory_of $\mathsf{Met}$ consisting of