This article is an extension from simple pseudomanifolds to stratified
pseudomanifolds. We define a new desingularization and we call it the
unbending. We prove that any unfolding is a finite composition of unbendings.
This construction is functorial from the category of Thom-Mather spaces to the
category of smooth manifolds. With this functor the existence of the
Intersection Cohomology is justified.