[Lurie--2009-0000] 文献Jacob Lurie. Higher Topos Theory. Princeton University Press, 2009. https://www.math.ias.edu/~lurie/papers/HTT.pdf