WRSWorld Research StateContribute
WORLD RESEARCH STATE

Lurie: Higher Topos Theory

Contribution grade

Logic, foundations and set theory · FORMALIZATION

Reference score260,000Provisional editorial estimate of this exact contribution; its grade is assessed separately.

What changed

Developed higher-topos and infinity-category machinery with systematic limits, adjunctions, and presentability.

Scientific scope

The record is Lurie's sole-author 2009 monograph. It does not absorb all earlier category theory, every model of infinity categories, Higher Algebra or later applications outside the book.

Evidence

The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is Lurie's sole-author 2009 monograph. It does not absorb all earlier category theory, every model of infinity categories, Higher Algebra or later applications outside the book.

Contributors

Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.

Full scientific record · Browse contribution grades · Request a correction