: complex manifold holomorphic map with a critical value : the triangulated category of constructible complexes on pull-back, nearby cycle, vanishing cycle functor : distinguished triangle : small open ball centered at For