構文領域と意味領域

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

ランはラベリングと境界を保存するグラフ写像だから、LaGrandの射となる。ということは、LaGrandの対象は構文的なプログラムコードともみなせるし、意味論的な実行系ともみなせることになる。プログラム変換も、模倣のような実行系のあいだの対応も、一様にLaGrandの射とみなせる。

この一様な定式化からの含意（帰結すること）は何だろう？ インスティチューションとの関係は？