シゲルさんから送られてくる．

http://jp.arxiv.org/abs/math.CT/0703204 Higher topos theory が 619 ページ，DAG I-III が 78+172+76=326 ページ，合わせて 945 ページ．