Microlocalization of Ind-sheaves
  Let X be a C-infinity manifold. We construct a microlocalization functor $\mu_X$ from the derived category of bounded complexes of ind-sheaves on X to the one on the cotangent bundle of X. This functor generalizes the classical theory of microlocalization. 
M. Kashiwara, Pierre Schapira, F. Ivorra, I. Waschkies