Perverse Sheaf

An object of the heart of the middle-perversity t-structure on the derived category of constructible sheaves (or ℓ-adic/complex-analytic analogues) satisfying cohomological support and co-support vanishing conditions relative to a stratification; perverse sheaves encode local singularity data and middle-dimensional phenomena.