キュリアのイコール

キュリアが明示的なイコールノードを導入している。

• キュリアの絵算 - 檜山正幸のキマイラ飼育記

単に便宜的な道具だと思っていたが、そうでもない。これは思いの外重要だ、と気付いた。可換図式をストリング図に直すときに明示的なイコールノードが出てくる。明示的なイコールノードの操作が、等式的変形に他ならない。可換図式をストリング図／サーフェイス図の枠内で扱うときに、イコールノードとその扱いは必須だ。