The sheaf concept is part of the basic vocabulary of modern geometry and topology. It serves to formalise the transition from the local to the global. However, sheaf theory is much more general; it can even be used to study the foundations of logic. These statements already indicate the generality of the theory. Therefore, we will only try to introduce the basic ideas here leisurely, without claiming to deploy the category-theoretical machine properly. We will naturally not get as far as, for example, the book [MM94], which is well suited for further education in this direction.

Authors and Affiliations

1. Fakultät für Mathematik, Ruhr-Universität Bochum, Bochum, Germany

   Gerd Laures

2. School of Mathematical and Physical Sciences, University of Sheffield, Sheffield, UK

   Markus Szymik

Reprints and permissions

© 2025 The Author(s), under exclusive license to Springer-Verlag GmbH, DE, part of Springer Nature

Policies and ethics