Higher Topos Theory by Jacob Lurie (source code)

= Higher Topos Theory by Jacob Lurie
{c}

By <Jacob Lurie>.

https://www.math.ias.edu/~lurie/papers/HTT.pdf

Verified locator: Sections 1.1–1.2: overview and language of higher categories. Published front matter identifies Princeton University Press, 2009.