半環と図

この記事では、半環とよばれる代数的構造と図の相性の良さについて垣間見ることを目標とする。記事の流れとしては、最初に図をさまざまに解釈しながら眺めていく。 次に半環の定義と、半環と整合する図を導入する。 そして、半環と整合する図が図のまま解釈(計算)できること、関数として解釈できること、行列として解釈できることを見る。...