Finiteness and constructibility in local analytic geometry

Abstract

Using the Houzel finiteness theorem and the Whitney-Thom stratification theory we show, in local analytic geometry, that relatively constructible sheaves have coherent higher direct images.