Related papers: Sheaves and conditional sets
Standard methods of using categorical variables as predictors either endow them with an ordinal structure or assume they have no structure at all. However, categorical variables often possess structure that is more complicated than a linear…
Algorithmicists are well-aware that fast dynamic programming algorithms are very often the correct choice when computing on compositional (or even recursive) graphs. Here we initiate the study of how to generalize this folklore intuition to…
We extend the theory of fields/distributions developed the paper "A Feigin-Frenkel theorem with n singularities" to a general base scheme. In order to do so we introduce suitable notions of topological sheaves on schemes and study their…
Building on Beilinson's work, ``constructible sheaves are holonomic,'' we introduce the notion of holonomicity for \'etale sheaves, without assuming a priori constructibility. Over a perfect base field, we establish the converse of…
A sheaf of modules on a site is said to be internally projective if sheaf hom with the module preserves epimorphism. In this note, we give an example showing that internally projective sheaves of abelian groups are not in general stable…
We formalize the general principle of significance with respect to binary relations which is a universal tool for description and analysis of various situations in and apart from mathematics. We derive the basic properties and focus on a…
Questions of set-theoretic size play an essential role in category theory, especially the distinction between sets and proper classes (or small sets and large sets). There are many different ways to formalize this, and which choice is made…
Integration of heterogeneous sensors is a challenging problem across a range of applications. Prominent among these are multi-target tracking, where one must combine observations from different sensor types in a meaningful way to track…
One of the main prerequisites for understanding sheaves on elementary toposes is the proof that a (Lawvere-Tierney) topology on a topos induces a closure operator on it, and vice-versa. That standard theorem is usually presented in a…
Causal theory is now widely developed with many applications to medicine and public health. However within the discipline of reliability, although causation is a key concept in this field, there has been much less theoretical attention. In…
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…
We present a soundness theorem for a dependent type theory with context constants with respect to an indexed category of (finite, abstract) simplical complexes. The point of interest for computer science is that this category can be seen to…
Chase's lemma provides a powerful tool for translating properties of (co)products in abelian categories into chain conditions. This note discusses the context in which the lemma is used, making explicit what is often neglected in the…
The aim of this paper is to generalize the notion of conformal blocks to the situation in which the Lie algebra they are attached to is not defined over a field, but depends on covering data of curves. The result will be a sheaf of…
In type theory, an oracle may be specified abstractly by a predicate whose domain is the type of queries asked of the oracle, and whose proofs are the oracle answers. Such a specification induces an oracle modality that captures a…
In order to provide a good categorical setting to the many different spaces of fields arising in the description of physical theories, a pedagogical introduction to the categorical notion of smooth sets is provided and some simple…
The sheaf-theoretic structure is useful in classifying no-go theorems related to non-locality and contextuality. It provides a new point of view different from conventional formularization of quantum mechanics. First, we examine a…
This thesis develops the theory of sheaves and cosheaves with an eye towards applications in science and engineering. To provide a theory that is computable, we focus on a combinatorial version of sheaves and cosheaves called cellular…
This paper is a very non-rigorous, loose, and extremely basic introduction to sheaves. This is meant to be a a guide to gaining intuition about sheaves, what they look like, and how they work, so that after reading this paper, someone can…
In these self-contained low prerequisite introductory notes we first present (in part 1) basic concepts of set theory and algebra without explicit category theory. We then present (in part 2) basic category theory involving a somewhat…