∇;Δ = □、∇;Δ = (Δ + 1);(1 + ∇) は、高次の特異点（尖点の接触）を分岐特異点まで解消しているような絵になる。

次の3つを比較する。 コラディニ／ガダッチ（Andrea Corradini, Fabio Gadducci）http://citeseer.ist.psu.edu/corradini99algebraic.html の15ページ セリンガー http://www.mathstat.dal.ca/~selinger/papers/catasynch.pdf の11,12ページ、 ベスパロフ ht…