Sheaf Theory through Examples

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, this book 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.

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