とある展開公式

ベキ等な双デカルト圏において、(1+Δ);(∇+1);(Δ+1);(1+∇) = □ - 檜山正幸のキマイラ飼育記 メモ編 の公式から次が示せる。

□ = ∇;Δ として、

• □ = (1 + Δ);□;(∇ + 1)

さらに、[f] = ∇;f;Δ として、

• [f] = (1 + Δ);([f] + f);(∇ + 1)

これは、再帰的な（入れ子の）展開公式だ。