2009-06-02 Lurie の ∞ 圏 math Lurie, Higher Topos Theory, Chapter 2 の主定理は, ∞ 圏は単体集合全体の圏上の Joyal モデル構造の fibrant 対象に一致. (単体集合の圏 + Joyal モデル構造)は(単体圏の圏 + Bergner モデル構造)に Quillen 同値.