Categories and sheaves appear almost frequently in contemporary advanced mathematics. This book covers categories, homological algebra and sheaves in a systematic manner starting from scratch and continuing with full proofs to the most recent results in the literature, and sometimes beyond. The authors present the general theory of categories and functors, emphasizing inductive and projective limits, tensor categories, representable functors, ind-objects and localization.

Categories and sheaves appear almost frequently in contemporary advanced mathematics. This book covers categories, homological algebra and sheaves in a systematic manner starting from scratch and continuing with full proofs to the most recent results in the literature, and sometimes beyond. The authors present the general theory of categories and functors, emphasizing inductive and projective limits, tensor categories, representable functors, ind-objects and localization.

Sheaf Theory is modern, active field of mathematics at the intersection of algebraic topology, algebraic geometry and partial differential equations. This volume offers a comprehensive and self-contained treatment of Sheaf Theory from the basis up, with emphasis on the microlocal point of view. From the reviews: "Clearly and precisely written, and contains many interesting ideas: it describes a whole, largely new branch of mathematics." –Bulletin of the L.M.S.

Algebra: Chapter 0 is a self-contained introduction to the main topics of algebra, suitable for a first sequence on the subject at the beginning graduate or upper undergraduate level. The primary distinguishing feature of the book, compared to standard textbooks in algebra, is the early introduction of categories, used as a unifying theme in the presentation of the main topics. A second feature consists of an emphasis on homological algebra: basic notions on complexes are presented as soon as modules have been introduced, and an extensive last chapter on homological algebra can form the basis for a follow-up introductory course on the subject. Approximately 1,000 exercises both provide adequate practice to consolidate the understanding of the main body of the text and offer the opportunity to explore many other topics, including applications to number theory and algebraic geometry. This will allow instructors to adapt the textbook to their specific choice of topics and provide the independent reader with a richer exposure to algebra. Many exercises include substantial hints, and navigation of the topics is facilitated by an extensive index and by hundreds of cross-references.

This book explains techniques that are essential in almost all branches of modern geometry such as algebraic geometry, complex geometry, or non-archimedian geometry. It uses the most accessible case, real and complex manifolds, as a model. The author especially emphasizes the difference between local and global questions. Cohomology theory of sheaves is introduced and its usage is illustrated by many examples.

Constructible and perverse sheaves are the algebraic counterpart of the decomposition of a singular space into smooth manifolds. This introduction to the subject can be regarded as a textbook on modern algebraic topology, treating the cohomology of spaces with sheaf (as opposed to constant) coefficients. The author helps readers progress quickly from the basic theory to current research questions, thoroughly supported along the way by examples and exercises.

Categories, homological algebra, sheaves and their cohomology furnish useful methods for attacking problems in a variety of mathematical fields. This textbook provides an introduction to these methods, describing their elements and illustrating them by examples.

An array of general ideas useful in a wide variety of fields. Starting from the foundations, this book illuminates the concepts of category, functor, natural transformation, and duality. It then turns to adjoint functors, which provide a description of universal constructions, an analysis of the representations of functors by sets of morphisms, and a means of manipulating direct and inverse limits. These categorical concepts are extensively illustrated in the remaining chapters, which include many applications of the basic existence theorem for adjoint functors. The categories of algebraic systems are constructed from certain adjoint-like data and characterised by Beck's theorem. After considering a variety of applications, the book continues with the construction and exploitation of Kan extensions. This second edition includes a number of revisions and additions, including new chapters on topics of active interest: symmetric monoidal categories and braided monoidal categories, and the coherence theorems for them, as well as 2-categories and the higher dimensional categories which have recently come into prominence.