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.

1

Homology of Commutative Rings$\endgroup$ – Harry Gindi Nov 16 '17 at 8:44