This question is related to differential operator in noncommutative geometry. I wonder whether there is any approach to differential operator that taking differential operator as a functor? I think it might be easier to do localization from the functorial point of view.
