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