  The notion of sheaf quantization has many faces: an enhancement of the notion
of constructible sheaves, the Betti counterpart of Fukaya--Floer theory, a
topological realization of WKB-states in geometric quantization. The purpose of
this note is to give an introduction to the subject.
