キュリアが明示的なイコールノードを導入している。 キュリアの絵算 - 檜山正幸のキマイラ飼育記 単に便宜的な道具だと思っていたが、そうでもない。これは思いの外重要だ、と気付いた。可換図式をストリング図に直すときに明示的なイコールノードが出てくる…