>>291
超関数での意味の弱解とかをNS方程式の研究で使うんでしょ？
超関数をコホモロジー論で定式化した仕事の延長線上に佐藤スクールの代数解析があるんだし圏論〜コホモロジー論と無関係でもないのでは？。

個人的に部分積分ってカリー化の一種に思える。