特殊非可換スパイダー定理を使った図式計算、前後の図式の変化が大きすぎて意味わからんってなってたけど、これあらゆるモノイダル圏のフロベニウス構造の図式が入出力の次数だけで決まるという話か…強すぎでは

（それはそれとしてスパイダーとか変な名前つけずに一意性と早く言ってほしかった）