>>572
おいそのリンク幾何的モデル理論の解説じゃねえか
そういう普通に知られてる話のリンクなんか示されても
IU幾何の何処で高次圏論の一般論以外の部分が必要になるかは示せんぞ