 Constructible complex of sheaves

A bounded complex is constructible for a given stratification when each of its cohomology sheaves restricts to a finite-rank local system on every stratum. Constructibility concerns cohomology sheaves, not an arbitrary choice of resolution.