(k,U):=U\times (-\infty,1)^k$ of the corner model $N(k,U)$. The inclusion $ [0,1)^k\rightarrow
(-\infty,1)^k$ induces an inclusion $N(k,U)\rightarrow \bar N(k,U)$. Note that an isomorphism of corner models extends naturally to a diffeomorphism of extensions. If $x\in N(k,U)^i\setminus
N(k,U)^{i-1}$ and $N(i,U^\prime)\subset N(k,U)$ is a neighborhood of $x$ which is itself a corner model, then there is a natural inclusion of extensions $\bar N(i,U^\prime)\rightarrow \bar N(k,U)$. Thus the transition maps between local charts of a manifold with corners have natural extensions to the extended chart domains.

We define the extension of $\bar M$ by replacing in all charts the corner models by their extensions which are glued using the natural extensions of transition maps.

In more detail we consider a covering of $M$ by charts $V_i\cong N(k_i,U_i)$ which are isomorphic to corner models. Then we have $M\cong \sqcup_i N(k_i,U_i)/\sim$, where the equivalence relation relates points connected by a transition map. Then we have $\bar M\cong \sqcup_i \bar N(k_i,U_i)/\sim$, where the equivalence relation now relates points which are connected by a canonical extension of a transition map. Note that $\bar M$ is (non-canonically) diffeomorphic to $M^0$.

###  {#section-88}

The extension of the interval $[0,1]$ is the real line ${\mathbb{R}}$. More general, the extension of the cube $[0,1]^k$ is ${\mathbb{R}}^k$. If $M$ is a manifold with boundary $\partial M$ (equipped with the structure of a manifold with corners), then its extension is $M\cup_{\partial M\cong \partial M\times\{0\}}\partial M\times (-\infty,0]$. If $A$ is an atom of faces of $M$, then the canonical map $A\rightarrow M$ extends to the extensions $\bar A\rightarrow \bar M$.

###  
( k, U):=U\times (-\infty,1)^k$ of the corner model $ N(k, U)$. The inclusion $ [ 0,1)^k\rightarrow 
 (-\infty,1)^k$ induces an inclusion body $ N(k, U)\rightarrow \bar N(k, U)$. Note that an isomorphism of recess mannequin extends naturally to a diffeomorphism of propagation. If $ x\in N(k, U)^i\setminus 
 N(k, U)^{i-1}$ and $ N(i, U^\prime)\subset N(k, U)$ is a region of $ x$ which is itself a corner model, then there be a lifelike inclusion of extensions $ \bar N(i, U^\prime)\rightarrow \bar N(k, U)$. Thus the transition maps between local chart of a manifold with corners get natural extensions to the extended chart domains. 

 We define the extension of $ \bar M$ by replace in all charts the corner models by their extension which are glued using the natural extensions of passage maps. 

 In more detail we consider a covering of $ M$ by charts $ V_i\cong N(k_i, U_i)$ which are isomorphous to corner models. Then we have $ M\cong \sqcup_i N(k_i, U_i)/\sim$, where the equivalence relation relates point connected by a transition map. Then we have $ \bar M\cong \sqcup_i \bar N(k_i, U_i)/\sim$, where the equivalence relation now relates points which are connected by a canonic extension of a transition function. notice that $ \bar M$ is (non - canonically) diffeomorphic to $ M^0$. 

 # # #   { # section-88 } 

 The extension of the interval $ [ 0,1]$ is the real line $ { \mathbb{R}}$. More cosmopolitan, the extension of the block $ [ 0,1]^k$ is $ { \mathbb{R}}^k$. If $ M$ is a manifold with boundary $ \partial M$ (equipped with the structure of a manifold paper with corners), then its extension is $ M\cup_{\partial M\cong \partial M\times\{0\}}\partial M\times (-\infty,0]$. If $ A$ is an atom of faces of $ M$, then the canonical map $ A\rightarrow M$ extends to the extensions $ \bar A\rightarrow \bar M$. 

 # # #
(k,U):=U\himes (-\infty,1)^k$ of the corntr model $N(k,U)$. The nbclusimn $ [0,1)^k\rjghtarrod
(-\infty,1)^k$ induces an inclusion $N(j,U)\rigytarrow \bar N(k,U)$. Note tfat an islmorphisn of xorner modxms extekbs nafmrallv vo a diffeomorpmism of extansions. If $x\in N(y,U)^n\setminus
N(k,U)^{i-1}$ and $N(i,U^\prime)\subset N(k,U)$ is a nrihhborhood of $x$ whibh is jnstlf a corner model, then there is z naturel inclusion of extensions $\bar N(i,U^\prime)\rihhtagrow \bar N(k,U)$. Thus hhe transituon iqps between uocal charus of a manirold with corners have natural dxtenxions to tye exhgnded chart vomainf.

We define tmv extenvion of $\bar M$ by replsciig ib all charts the cornxr models by their evtensions wkich are glued using rhw natoral axtevwiovs kf tdansitlon maps.

In mode detail ww consider a coverimg if $M$ by charta $V_i\cogg N(k_i,U_i)$ which are isomorphic to corner mmdems. Then we have $M\cong \swcup_i N(k_i,U_i)/\sim$, where jhe equivajence relation relates points connected by a tranvitioi oap. Tmen dw jave $\bar M\cong \sqcup_i \bar N(k_i,U_i)/\sim$, where the qsuovslence relatiok now relates poinys wnych are connezted bv a canonical extensiln of a tranwition mak. Notr that $\bar M$ is (non-canonicaoly) diffeomogphix to $M^0$.

###  {#section-88}

The extension uf tne inyerval $[0,1]$ is the real linz ${\mathgb{R}}$. More gejeral, the dxtension of the cune $[0,1]^n$ is ${\mathbb{R}}^k$. If $M$ is a magifold wivh bobndary $\pxrtisl M$ (ezuipped wihh thc structure of a majifolb witv corners), hhen its extension is $M\cup_{\partiek M\cong \partoan M\nimes\{0\}}\partnal M\tlmes (-\infty,0]$. If $A$ is an atom of faces jf $M$, ghen the cznonican map $A\righearrow M$ extetfs to the exvensions $\far Q\rigytarrow \car M$.

###  
(k,U):=U\times (-\infty,1)^k$ of the corner model $N(k,U)$. $ (-\infty,1)^k$ induces inclusion $N(k,U)\rightarrow \bar of models extends naturally a diffeomorphism of If $x\in N(k,U)^i\setminus N(k,U)^{i-1}$ and $N(i,U^\prime)\subset is a neighborhood of $x$ which is itself a corner model, then there a natural inclusion of extensions $\bar N(i,U^\prime)\rightarrow \bar N(k,U)$. Thus the transition maps local of manifold corners have natural extensions to the extended chart domains. We define the extension of $\bar M$ replacing in all charts the corner models by extensions which are glued the natural extensions of transition In detail we a of by charts $V_i\cong which are isomorphic to corner models. Then we have $M\cong \sqcup_i N(k_i,U_i)/\sim$, where the equivalence relation relates connected by map. Then have M\cong \bar N(k_i,U_i)/\sim$, where relation now relates points which are canonical extension of a transition map. Note that M$ is diffeomorphic to $M^0$. ### {#section-88} The of the interval $[0,1]$ is the real line More general, the extension of the cube $[0,1]^k$ is ${\mathbb{R}}^k$. If $M$ is a manifold $\partial M$ (equipped with structure of a with then extension $M\cup_{\partial M\cong M\times\{0\}}\partial M\times (-\infty,0]$. If $A$ is an atom of faces of then the canonical map $A\rightarrow M$ extends to the extensions \bar ###
(k,U):=U\times (-\infty,1)^k$ of the corner Model $N(k,U)$. ThE inclUsiOn $ [0,1)^k\RiGhtaRrow
(-\Infty,1)^k$ induces aN InclUsion $N(k,U)\rightarrow \bar N(K,U)$. NotE tHAt an ISoMorphIsm of coRNeR MOdeLs ExTenDs NAtUrallY to A diffeoMorphism of ExtEnSions. If $x\in N(k,u)^I\sEtminus
N(k,U)^{I-1}$ anD $N(i,U^\prime)\subSet n(k,U)$ is a NeIghBOrhooD of $X$ whicH is itsELf a corNer model, tHeN There iS A naturaL INcLusiOn of extensions $\bar n(I,U^\PRime)\rightarrow \Bar N(k,U)$. thUS tHE TraNsiTion maps beTwEen loCAl chartS Of A MANifOLd with corners Have natural EXteNsions To The EXtendeD charT dOMaiNs.

We define tHe exTension of $\Bar M$ by REplacinG In all chArts thE coRneR modELs By TheIr EXteNSiOns WHicH are glueD uSiNg the NatuRAL EXtenSioNs of TransItion maps.

In moRe dEtaiL We cOnsidEr a coVeriNg Of $M$ by Charts $v_i\conG N(K_i,U_i)$ which are isoMorpHic to cornEr mOdEls. thEn we hAVe $M\conG \sqCup_I N(k_i,U_i)/\sIm$, where THe eQuIVALeNce relation relates PoINTs ConnecteD by a trANsItIOn map. TheN wE haVe $\baR m\Cong \sQcup_I \BaR N(k_i,U_i)/\siM$, where THe EqUivalenCe RelatiOn Now RelAtes pOInts Which aRe connecTed by A Canonical extenSIon of a transitIOn MAP. NOTe thAt $\bAr M$ is (non-canOnicALly) dIffeOMoRphIC to $M^0$.

###  {#sEctioN-88}

THE eXTension of the intervaL $[0,1]$ iS the reAl linE ${\mathbb{R}}$. More gEneral, the eXTENsion of tHe cuBE $[0,1]^k$ IS ${\mathbb{R}}^k$. If $M$ is A maniFold with boUNdary $\parTial M$ (Equipped With the stRUCture of a ManIfoLd wIth CORnErs), then its extENSion Is $m\cup_{\parTiaL M\cong \pArtIal m\tiMes\{0\}}\PaRtial M\timEs (-\infty,0]$. IF $A$ Is An AtOm oF faceS Of $M$, then tHe CanOnIcaL map $A\RIghtarRow M$ eXtenDs To THe eXtensioNS $\bAR a\rigHtArRow \bAr M$.

###  
(k,U):=U\times (-\infty,1) ^k$ of the  corn ermod el  $N( k,U) $. The inclusi o n $[0,1)^k\rightarrow
(-\ infty ,1 ) ^k$i nd ucesan incl u si o n  $N (k ,U )\r ig h ta rrow\ba r N(k,U )$. Note t hat  a n isomorphis m  o f corner m ode ls extends n atu rallyto  ad iffeo mor phism  of ex t ension s. If $x\ in N(k,U) ^ i\setmi n u sN(k, U)^{i-1}$ and $N( i ,U ^ \prime)\subset  N(k,U )$ is a  ne igh borhood of  $ x$ wh i ch is i t se l f a c o rner model, t hen there i s  anatura linc l usionof ex te n sio ns $\bar N( i,U^ \prime)\r ightar r ow \bar N(k,U)$ . Thus  th e t rans i ti on  ma ps bet w ee n l o cal  chartsof  a  mani fold w i t h co rne rs h ave n atural extens ion s to the  exte ndedchar tdomai ns.

W e def in e the extension  of$\bar M$byre pla ci ng in all ch art s t he corn er mode l s b yt h e ir  extensions whichar e gl ued usin g then at ur a l extens io nsof t r a nsiti on m a ps .

In mo re det a il  w e consi de r a co ve rin g o f $M$ by c harts$V_i\con g N(k _ i,U_i)$ whicha re isomorphic to c or n er m ode ls. Then we  hav e  $M\ cong \s qcu p _i N( k_i,U _i ) /\ s im$, where the equi va lencerelat ion relates p oints conn e c t ed by atran s it i on map. Then w e hav e $\bar M\ c ong \sqc up_i\bar N(k _i,U_i)/\ s i m$, wher e t heequ iva l e nc e relation no w rela te s point s w hich ar e c onn ect edby  a canoni cal exte ns io nof  atrans i tion map .Not etha t $\b a r M$ i s (no n-ca no ni c all y) diff e om o r phic  t o$M^0 $.
# ##  { #sec t ion -88}

T he extens ion of t he  i nterval  $[0,1]$ is t he  real line  $ {\m athbb{ R } }$. More  general, the extension of thecub e $[0 ,1]^ k$ is ${\ mat hbb{R} }^k $ . If $ M$ isa man if old w ith b o u nd ary  $ \partial M $ (eq uippe dwith  the st ructure of a manif o ldwith corners) , t heni t sext e ns i onis $M\ c u p_{\partial M\c ong \parti al M\ times\{0\} } \pa rt ial M\t imes (- \inft y ,0]$. I f $A$ isan atom o fface s of$M$, thenthe cano nical map $A\ri g ht arrow  M$  exten ds  to  theextens i ons  $\ba r A\ri gh tarrow  \bar  M $.

### 
(k,U):=U\times (-\infty,1)^k$_of the_corner model $N(k,U)$. The_inclusion $_[0,1)^k\rightarrow
(-\infty,1)^k$_induces an_inclusion_$N(k,U)\rightarrow \bar N(k,U)$._Note that an_isomorphism of corner models_extends naturally to_a_diffeomorphism of extensions. If $x\in N(k,U)^i\setminus
N(k,U)^{i-1}$ and $N(i,U^\prime)\subset N(k,U)$ is a neighborhood of $x$_which_is itself_a_corner_model, then there is a_natural inclusion of extensions $\bar_N(i,U^\prime)\rightarrow \bar_N(k,U)$. Thus the transition maps between local charts_of_a manifold with_corners have natural extensions to the extended chart domains.

We_define the extension of $\bar M$_by replacing in_all_charts_the corner models by_their extensions which are glued using_the natural extensions of transition maps.

In_more detail we consider a covering of_$M$ by charts $V_i\cong N(k_i,U_i)$ which_are isomorphic to corner models._Then we_have $M\cong \sqcup_i N(k_i,U_i)/\sim$, where_the equivalence relation_relates points_connected by a_transition map. Then we have $\bar_M\cong \sqcup_i \bar_N(k_i,U_i)/\sim$, where the equivalence relation now_relates_points which are_connected_by_a canonical_extension of a_transition_map. Note_that_$\bar M$ is (non-canonically) diffeomorphic to_$M^0$.

###_ {#section-88}

The extension of the interval $[0,1]$_is the real line_${\mathbb{R}}$._More general, the extension_of the cube $[0,1]^k$ is_${\mathbb{R}}^k$. If $M$ is a manifold_with boundary_$\partial M$_(equipped with the structure of a manifold with corners), then its_extension is $M\cup_{\partial M\cong \partial M\times\{0\}}\partial_M\times (-\infty,0]$. If $A$_is an_atom_of faces of_$M$,_then the_canonical map $A\rightarrow M$ extends to the_extensions $\bar_A\rightarrow \bar M$.

###  