例えば、>>449氏への反論の一つの例としては、

＞十分に圏論的な抽象化を図っておいて、その上で抽象と具象を結びつけるために「ラベルの管理」とかいう
＞一種の心理学？または形而上学？を持ち出しちゃった

「それはSSが充満多重同型を納得できず不必要・無意味として切り捨て、単遠アーベル的復元/構成を無視し、
クンマー理論による自然同型のみを認めIUTをブチ壊し、それに同調したロバーツPDFの補遺と同じだよね。
なんで充満多重同型が納得でないことをもっと詳しくSSは説明しなかったの？自明だから？ｗ」

・・・・・・みたいなことを言うこともできる。私の本音ではないがｗ