2
Có một loại không tầm thường bằng với đạo hàm của chính nó?
Một bài báo có tên là Đạo hàm của loại thông thường là Loại bối cảnh một lỗ của nó cho thấy "dây kéo" của một loại hình chữ cái của nó có bối cảnh theo một quy tắc phân biệt trong đại số loại. Chúng ta có: ∂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 …