The generalisation of the vanishing cycle formalism in SGA 7 is apparently since the 1970's an issue, Morava mentioned a connection with Bousfield localization. I find the Morava's remarks un-understandable - would someone explain? Exist analoga of the vanishing cycle formalism in "derived", "homotopical" etc. algebraic geometry?