On differential operators over a map, thick morphisms of supermanifolds, and symplectic micromorphisms

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