入り口・出口の境界を持つコボルディズム的グラフの圏がほぼTQFTの域となる圏に対応するだろう。で、グラフ上のラベリングが場に対応しそう。ラベル無し（unlabelled）は自明なラベリングのこと。この圏を仮にLaGrand（labelled graphi with end-points）と…

チャネル（チャンネル） ポート {メッセージ,イベント}キュー メールボックス 共有メモリ スロット やり取りされるデータは、イベント、メッセージ、シグナルなど。

ラベル付き遷移系のラベルをコマンド／命令／アクションなどと解釈する。ラベル集合をLとして、実行系はLを辺ラベルとするグラフで表現される。一方で、プログラムコード（構文的存在物）もLを辺ラベルとするグラフで表現される。 実行系のグラフ プログラム…

と、そう言えるのではないだろうか。