2
자체 파생 상품과 같은 사소한 유형이 있습니까?
정규 유형의 파생물 이라는 기사 는 해당 유형의 단일 홀 컨텍스트 유형을 보여줍니다. 하나의 홀 컨텍스트 인 유형의 "지퍼"는 대수 유형의 미분 규칙을 따릅니다. 우리는 : ∂엑스엑스∂엑스0∂엑스1∂엑스( S+ T)∂엑스( S× T)↦ 1↦ 0↦ 0↦ ∂엑스에스+ ∂엑스티↦ ∂엑스에스× T+ S× ∂엑스티∂엑스엑스↦1∂엑스0↦0∂엑스1↦0∂엑스(에스+티)↦∂엑스에스+∂엑스티∂엑스(에스×티)↦∂엑스에스×티+에스×∂엑스티\begin{align} \partial_x x &\mapsto 1 \\ \partial_x 0 &\mapsto 0 \\ …