2
Kendi türevine eşit önemsiz bir tür var mı?
Düzenli Tipin Türevi olarak adlandırılan bir makale , Tek Delikli Bağlamlar Türüdür , bir türdeki "fermuarın" (tek delikli bağlamlar), cebir türündeki farklılaşma kurallarına uyduğunu gösterir. Sahibiz: ∂xx∂x0∂x1∂x(S+T)∂x(S×T)↦1↦0↦0↦∂xS+∂xT↦∂xS×T+S×∂xT∂xx↦1∂x0↦0∂x1↦0∂x(S+T)↦∂xS+∂xT∂x(S×T)↦∂xS×T+S×∂xT\begin{align} \partial_x x &\mapsto 1 \\ \partial_x 0 &\mapsto 0 \\ \partial_x 1 &\mapsto 0 \\ \partial_x (S + T) &\mapsto \partial_x S + …