An approachable introduction to elementary sheaf theory and its applications beyond pure math. Sheaves are mathematical constructions concerned with passages from local properties to global ones. They have played a fundamental role in the development of many areas of modern mathematics, yet the broad conceptual power of sheaf theory and its wide applicability to areas beyond pure math have only recently begun to be appreciated. Taking an applied category theory perspective, Sheaf Theory through Examples provides an approachable introduction to elementary sheaf theory and examines applications including n-colorings of graphs, satellite data, chess problems, Bayesian networks, self-similar groups, musical performance, complexes, and much more. With an emphasis on developing the theory via a wealth of well-motivated and vividly illustrated examples, Sheaf Theory through Examples supplements the formal development of concepts with philosophical reflections on topology, category theory, and sheaf theory, alongside a selection of advanced topics and examples that illustrate ideas like cellular sheaf cohomology, toposes, and geometric morphisms. Sheaf Theory through Examples seeks to bridge the powerful results of sheaf theory as used by mathematicians and real-world applications, while also supplementing the technical matters with a unique philosophical perspective attuned to the broader development of ideas.

Sheaf theory provides a means of discussing many different kinds of geometric objects in respect of the connection between their local and global properties. It finds its main applications in topology and modern algebraic geometry where it has been used as a tool for solving, with great success, several long-standing problems. This text is based on a lecture course for graduate pure mathematicians which builds up enough of the foundations of sheaf theory to give a broad definition of manifold, covering as special cases the algebraic geometer's schemes as well as the topological, differentiable and analytic kinds, and to define sheaf cohomology for application to such objects. Exercises are provided at the end of each chapter and at various places in the text. Hints and solutions to some of them are given at the end of the book.

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.

This two-volume monograph obtains fundamental notions and results of the standard differential geometry of smooth (CINFINITY) manifolds, without using differential calculus. Here, the sheaf-theoretic character is emphasised. This has theoretical advantages such as greater perspective, clarity and unification, but also practical benefits ranging from elementary particle physics, via gauge theories and theoretical cosmology (`differential spaces'), to non-linear PDEs (generalised functions). Thus, more general applications, which are no longer `smooth' in the classical sense, can be coped with. The treatise might also be construed as a new systematic endeavour to confront the ever-increasing notion that the `world around us is far from being smooth enough'. Audience: This work is intended for postgraduate students and researchers whose work involves differential geometry, global analysis, analysis on manifolds, algebraic topology, sheaf theory, cohomology, functional analysis or abstract harmonic analysis.

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.

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.