Foncteur des Cycles Proches

Un foncteur dérivé Rψ (cycles proches) associant à un faisceau sur l'espace total d'une famille la limite de sa cohomologie sur les fibres proches lorsque l'on approche une fibre spéciale ou singulière ; il enregistre comment les invariants cohomologiques se spécialisent et porte une action du monodromie locale.