アミダ図やブレイド図に対して置換群（対称群）やブレイド群の元を対応させるのも、TQFTつうかCGFT（Categorical General Field Theories）とも言えるな。構文図にクリーネ代数の行列を対応させるのもCGFTだし。シェープとか台と呼べる図形があり、図形のコ…