Related papers: Sheaves in Elementary Mathematics: The case of pos…
Following the processing of individual topics of elementary school mathematics as content of empirical theories the question is adressed wether the associated conception of mathematics finds itself under established concepts, and how it can…
We describe a number of geometric contexts where categorification appears naturally: coherent sheaves, constructible sheaves and sheaves of modules over quantizations. In each case, we discuss how "index formulas" allow us to easily perform…
Language is contextual and sheaf theory provides a high level mathematical framework to model contextuality. We show how sheaf theory can model the contextual nature of natural language and how gluing can be used to provide a global…
We define and describe the properties of a class of perverse sheaves which is very useful when the base ring is not a field.
A brief synopsis of recent conceptions and results, the current status and future outlook of our research program of applying sheaf and topos-theoretic ideas to quantum gravity and quantum logic is presented.
From descent theory to higher geometry, the idea of gluing has been embedded in many elegant and powerful techniques, proving instrumental for the solution of many problems. In this paper, we introduce a framework that allows to link…
We consider coherent and cohesive sheaves of $\cO$--modules over open sets $\Omega\subset\bC^n$. We prove that coherent sheaves, and certain other sheaves derived from them, are cohesive; and conversely, certain sheaves derived from…
Classification is an important goal in many branches of mathematics. The idea is to describe the members of some class of mathematical objects, up to isomorphism or other important equivalence in terms of relatively simple invariants. Where…
We introduce a notion of complexity of a complex of ell-adic sheaves on a quasi-projective variety and prove that the six operations are "continuous", in the sense that the complexity of the output sheaves is bounded solely in terms of the…
In this note we present a work in progress whose main purpose is to establish a categorified version of sheaf theory. We present a notion of derived categorical sheaves, which is a categorified version of the notion of complexes of sheaves…
The main purpose of this paper is to define the {\it net logarithmic tangent sheaf}, as a generalization of the logarithmic tangent sheaf introduced by P.~Deligne, over the field of complex numbers, and prove some basic properties and give…
This paper is aimed at introducing an algebraic model for physical scales and units of measurement. This goal is achieved by means of the concept of ``positive space'' and its rational powers. Positive spaces are 1-dimensional ``semi-vector…
There have recently been several developments in synthetic mathematics using extensions of dependent type theory with univalence and higher inductive types: simplicial homotopy type theory, synthetic algebraic geometry and synthetic Stone…
Following the approach of Rota and Taylor \cite{SIAM}, we present an innovative theory of Sheffer sequences in which the main properties are encoded by using umbrae. This syntax allows us noteworthy computational simplifications and…
Condensed mathematics, developed by Clausen and Scholze over the last few years, proposes a generalization of topology with better categorical properties. It replaces the concept of a topological space by that of a condensed set, which can…
Mathematics is the language of science. Fluent and productive use of mathematics requires one to understand the meaning embodied in mathematical symbols, operators, syntax, etc., which can be a difficult task. For instance, in algebraic…
Sheaves are mathematical objects consisting of a base which constitutes a topological space and the data associated with each open set thereof, e.g. continuous functions defined on the open sets. Sheaves have originally been used in…
The present work has been designed for students in secondary school and their teachers in mathematics. We will show how with the help of our knowledge of number systems we can solve problems from other fields of mathematics for example in…
Mathematical reasoning skills are a desired outcome of many introductory physics courses, particularly calculus-based physics courses. Positive and negative quantities are ubiquitous in physics, and the sign carries important and varied…
We show that Boehmians defined over open sets of $\mathbb{R}^N$ constitute a sheaf. In particular, it is shown that such Boehmians satisfy the gluing property of sheaves over a topological space.