Higher category theory is generally regarded as technical and forbidding, but part of it is considerably more tractable: the theory of infinity-categories, higher categories in which all higher morphisms are assumed to be invertible. In "Higher Topos Theory," Jacob Lurie presents the foundations of this theory, using the language of weak Kan complexes introduced by Boardman and Vogt, and shows how existing theorems in algebraic topology can be reformulated and generalized in the theory's new language. The result is a powerful theory with applications in many areas of mathematics.

The book's first five chapters give an exposition of the theory of infinity-categories that emphasizes their role as a generalization of ordinary categories. Many of the fundamental ideas from classical category theory are generalized to the infinity-categorical setting, such as limits and colimits, adjoint functors, ind-objects and pro-objects, locally accessible and presentable categories, Grothendieck fibrations, presheaves, and Yoneda's lemma. A sixth chapter presents an infinity-categorical version of the theory of Grothendieck topoi, introducing the notion of an infinity-topos, an infinity-category that resembles the infinity-category of topological spaces in the sense that it satisfies certain axioms that codify some of the basic principles of algebraic topology. A seventh and final chapter presents applications that illustrate connections between the theory of higher topoi and ideas from classical topology.

A central concern of number theory is the study of local-to-global principles, which describe the behavior of a global field K in terms of the behavior of various completions of K. This book looks at a specific example of a local-to-global principle: Weil's conjecture on the Tamagawa number of a semisimple algebraic group G over K. In the case where K is the function field of an algebraic curve X, this conjecture counts the number of G-bundles on X (global information) in terms of the reduction of G at the points of X (local information). The goal of this book is to give a conceptual proof of Weil's conjecture, based on the geometry of the moduli stack of G-bundles. Inspired by ideas from algebraic topology, it introduces a theory of factorization homology in the setting -adic sheaves. Using this theory, Dennis Gaitsgory and Jacob Lurie articulate a different local-to-global principle: a product formula that expresses the cohomology of the moduli stack of G-bundles (a global object) as a tensor product of local factors. Using a version of the Grothendieck-Lefschetz trace formula, Gaitsgory and Lurie show that this product formula implies Weil's conjecture. The proof of the product formula will appear in a sequel volume.