Leibniz rule と Category

なんとなくLeibniz rule を以下のように表現してもよいような気がするのだが、どうだろう。

直和と和をつなげたいというのは安直かな。

2016/2/4追記

せっかくxyjaxを入れていたので

\[

\xymatrix{

(\nabra E_1)\otimes E_2 \ar[r] \ar[rd] & \nabra (E_1 \otimes E_2) \ar[d] & E_1 \otimes (\nabra E_2) \ar[ld] \\ & T^*M\otimes E_1 \otimes E_2 

}

\]