Related papers: Sheaves of metric structures
This note is a part of the lecture notes of a graduate student algebraic geometry seminar held at the department of mathematics in National Taiwan Normal University, 2020 Falls. It aims to introduce an example of sheaves defined on posets…
Defining cellular sheaves beyond graph structures, such as on simplicial complexes containing higher-dimensional simplices, is an essential and intriguing topic in topological data analysis (TDA) and the development of sheaf neural…
We consider some generalization of the theory of quantum states and demonstrate that the consideration of quantum states as sheaves can provide, in principle, more deep understanding of some well-known phenomena. The key ingredients of the…
A categorical framework for modeling and analyzing systems in a broad sense is proposed. These systems should be thought of as `machines' with inputs and outputs, carrying some sort of signal that occurs through some notion of time. Special…
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…
In [1] we introduced the concept of structured space, which is a topological space that locally resembles some algebraic structures. In [2] we proceeded the study of these spaces, developing two cohomology theories. The aim of this paper is…
We consider some generalization of the theory of quantum states, which is based on the analysis of long standing problems and unsatisfactory situation with the possible interpretations of quantum mechanics. We demonstrate that the…
This paper investigates spaces equipped with a family of metric-like functions satisfying certain axioms. These functions provide a unified framework for defining topology, uniformity, and diffeology. The framework is based on a family of…
Sheaves of structures are useful to give constructions in universal algebra and model theory. We can describe their logical behavior in terms of Heyting-valued structures. In this paper, we first provide a systematic treatment of sheaves of…
Given a finite metric, one can construct its tight span, a geometric object representing the metric. The dimension of a tight span encodes, among other things, the size of the space of explanatory trees for that metric; for instance, if the…
These notes provide a description of the abelian categories that arise as categories of coherent sheaves on weighted projective lines. Two different approaches are presented: one is based on a list of axioms and the other yields a…
Inspired by the works in linkage theory of modules, we define the concept of linkage of sheaves of modules as a generalization of linkage of modules. Thus, we expressed it in geometry algebraic language. We show that the linkedness of…
The purpose of this note is to record a connection between sheaves on complete Boolean algebras and conditional sets. This connection yields a transfer principle for conditional set theory. On the other hand we use conditional set theory to…
In this paper we show that states, transitions and behavior of concurrent systems can often be modeled as sheaves over a suitable topological space. In this context, geometric logic can be used to describe which local properties (i.e.…
The purpose of this paper is to develop an efficient computational model for Abelian categories of coherent sheaves over certain classes of varieties. These categories are naturally described as Serre quotient categories. Hence, our…
The aim of this paper is to give a unifying description of various constructions (subanalytic, semialgebraic, o-minimal site) using the notion of T-topology. We then study the category of T-sheaves.
We present a uniform theory of constructible sheaves on arbitrary schemes with coefficients in topological or even condensed rings. This is accomplished by defining lisse sheaves to be the dualizable objects in the derived infinity-category…
We formalize the concept of sheaves of sets on a model site by considering variables thereof, or motifs, and we construct functorially defined derived algebraic stacks from them, thereby eliminating the necessity to choose derived…
For flat proper families of algebraic varieties with a smooth fiber, we describe the abelian category of coherent sheaves on the generic fiber as a Serre quotient. As an application, we prove specialization of derived equivalence. As…
We introduce a sheaf-theoretic characterization of task solvability in general distributed computing models, unifying distinct approaches to message-passing models. We establish cellular sheaves as a natural mathematical framework for…