  We recall the notion of a differential operator over a smooth map (in linear
and non-linear settings) and consider its versions such as formal
$\hbar$-differential operators over a map. We study constructions and examples
of such operators, which include pullbacks by thick morphisms and quantization
of symplectic micromorphisms.
