Explore the vast range of titles available.

The first two chapters of this book offer a modern, self-contained exposition of the elementary theory of triangulated categories and their quotients. The simple, elegant presentation of these known results makes these chapters eminently suitable as a text for graduate students. The remainder of the book is devoted to new research, providing, among other material, some remarkable improvements on Brown's classical representability theorem. In addition, the author introduces a class of triangulated categories\"--the \"well generated triangulated categories\"--and studies their properties. This exercise is particularly worthwhile in that many examples of triangulated categories are well generated, and the book proves several powerful theorems for this broad class. These chapters will interest researchers in the fields of algebra, algebraic geometry, homotopy theory, and mathematical physics.

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. InHigher 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.

The purpose of this work is to extend Leech cohomology for monoids (and so Eilenberg-Mac Lane cohomology of groups) to presheaves of monoids on an arbitrary small category. The main result states and proves a cohomological classification of monoidal prestacks on a category with values in groupoids with abelian isotropy groups. The paper also includes a cohomological classification for extensions of presheaves of monoids, which is useful to the study of H -extensions of presheaves of regular monoids. The results apply directly in several settings such as presheaves of monoids on a topological space, simplicial monoids, presheaves of simplicial monoids on a topological space, monoids or simplicial monoids on which a fixed monoid or group acts, and so forth.

This paper deals with well-known weak homotopy equivalences that relate homotopy colimits of small categories and simplicial sets. We show that these weak homotopy equivalences have stronger cohomology-preserving properties than for local coefficients.

Since its introduction by Friedhelm Waldhausen in the 1970s, the algebraic K-theory of spaces has been recognized as the main tool for studying parametrized phenomena in the theory of manifolds. However, a full proof of the equivalence relating the two areas has not appeared until now. This book presents such a proof, essentially completing Waldhausen's program from more than thirty years ago. The main result is a stable parametrized h-cobordism theorem, derived from a homotopy equivalence between a space of PL h-cobordisms on a space X and the classifying space of a category of simple maps of spaces having X as deformation retract. The smooth and topological results then follow by smoothing and triangulation theory. The proof has two main parts. The essence of the first part is a \"desingularization,\" improving arbitrary finite simplicial sets to polyhedra. The second part compares polyhedra with PL manifolds by a thickening procedure. Many of the techniques and results developed should be useful in other connections.

In a previous article, we introduced notions of finiteness obstruction, Euler characteristic, and L2-Euler characteristic for wide classes of categories. In this sequel, we prove the compatibility of those notions with homotopy colimits of I-indexed categories where I is any small category admitting a finite I-CW-model for its I-classifying space. Special cases of our Homotopy Colimit Formula include formulas for products, homotopy pushouts, homotopy orbits, and transport groupoids. We also apply our formulas to Haefliger complexes of groups, which extend Bass–Serre graphs of groups to higher dimensions. In particular, we obtain necessary conditions for developability of a finite complex of groups from an action of a finite group on a finite category without loops.

In this paper we develop homotopy theoretical methods for studying diagrams. In particular we explain how to construct homotopy colimits and limits in an arbitrary model category. The key concept we introduce is that of a model approximation. A model approximation of a category $\\mathcal{C}$ with a given class of weak equivalences is a model category $\\mathcal{M}$ together with a pair of adjoint functors $\\mathcal{M} \\rightleftarrows \\mathcal{C}$ which satisfy certain properties. Our key result says that if $\\mathcal{C}$ admits a model approximation then so does the functor category $Fun(I, \\mathcal{C})$. From the homotopy theoretical point of view categories with model approximations have similar properties to those of model categories.They admit homotopy categories (localizations with respect to weak equivalences). They also can be used to construct derived functors by taking the analogs of fibrant and cofibrant replacements. A category with weak equivalences can have several useful model approximations. We take advantage of this possibility and in each situation choose one that suits our needs. In this way we prove all the fundamental properties of the homotopy colimit and limit: Fubini Theorem (the homotopy colimit - respectively limit- commutes with itself), Thomason's theorem about diagrams indexed by Grothendieck constructions, and cofinality statements. Since the model approximations we present here consist of certain functors 'indexed by spaces', the key role in all our arguments is played by the geometric nature of the indexing categories.

This paper is an exploration of two ideas in the study of closed classes: the AA-complexity of a space XX and the notion of good spaces (spaces AA for which C(A)=C(A)¯\\mathcal {C}(A) = \\overline {\\mathcal {C}(A)}). A variety of formulae for the computation of complexity are given, along with some calculations. Good spaces are characterized in terms of the functors CWACW_A and PAP_A. The main result is a countable upper bound for ΣA\\Sigma A-complexity when AA is a good space.

We characterize the class of homotopy pull-back squares by means of elementary closure properties. The so called Puppe theorem which identifies the homotopy fiber of certain maps constructed as homotopy colimits is a straightforward consequence. Likewise we characterize the class of squares which are homotopy pull-backs \"up to Bousfield localization\". This yields a generalization of Puppe's theorem which allows us to identify the homotopy type of the localized homotopy fiber. When the localization functor is homological localization this is one of the key ingredients in the group completion theorem.