Constructible complex of sheaves (source code)

= 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.