2
क्या कोई गैर-तुच्छ प्रकार है जो अपने स्वयं के व्युत्पन्न के बराबर है?
एक नियमित प्रकार की व्युत्पत्ति नामक एक लेख इसका प्रकार है वन-होल कॉन्टेक्ट्स से पता चलता है कि एक प्रकार का "जिपर" - इसका एक छेद संदर्भ - प्रकार बीजगणित में भेदभाव नियमों का पालन करता है। हमारे पास है: ∂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 …