Jacob Lurie : http://www.math.harvard.edu/~lurie/papers/highertopoi.pdf 943ページ http://www.math.harvard.edu/~lurie/papers/higheralgebra.pdf 948ページ コイツ、やっぱり人間じゃねーな。