590 名前：１３２人目の素数さん ：2014/10/12(日) 12:26:40.24 >>571
Higher topos theoryを読んでるともっちーのIU幾何との類似がいくつもでてくる

>>590

では具体的にIU幾何の何とHTTの何が類似しているのか具体例を挙げてください