Manifolds with analytic corners

Manifolds with boundary and with corners form categories ${\bf Man}\subset{\bf Man^b}\subset{\bf Man^c}$. A manifold with corners $X$ has two notions of tangent bundle: the tangent bundle $TX$, and the b-tangent bundle ${}^bTX$. The usual definition of smooth structure uses $TX$, as $f:X\to\mathbb{R...