Related papers: Sheaves and Local Subgroupoids
We introduce new foundations for relative topos theory based on stacks. One of the central results in our theory is an adjunction between the category of toposes over the topos of sheaves on a given site $({\mathcal{C}}, J)$ and that of…
There is an interplay between models, specified by variables and equations, and their connections to one another. This dichotomy should be reflected in the abstract as well. Without referring to the models directly -- only that a model…
In this paper, we investigate the order algebraic structure in the category of sheaves on a given locale $X$. Since every localic topos has a generating set formed by its subterminal objects, we define a "point" of a partially ordered sheaf…
Many complicated network problems can be easily understood on small networks. Difficulties arise when small networks are combined into larger ones. Fortunately, the mathematical theory of sheaves was constructed to address just this kind of…
The initial motivation of this work was to give a topological interpretation of two-periodic twisted de-Rham cohomology which is generalizable to arbitrary coefficients. To this end we develop a sheaf theory in the context of locally…
In this paper, we investigate a sheaf-theoretic interpretation of stratification learning from geometric and topological perspectives. Our main result is the construction of stratification learning algorithms framed in terms of a sheaf on a…
These notes contain a brief introduction to rational homotopy theory: its model category foundations, the Sullivan model and interactions with the theory of local commutative rings.
Essentials of sheaves are briefly presented, followed by related comments on presheaves, bundles, manifolds and singularities, aiming to point to their differences not only in their different formal mathematical structures, but also in the…
We classify the prelocalizing subcategories of the category of quasi-coherent sheaves on a locally noetherian scheme. In order to give the classification, we introduce the notion of a local filter of subobjects of the structure sheaf. The…
The paper is devoted to generalizations of actions of topological groups on manifolds. Instead of a topological group, we consider a local topological group generalizing the notion of a~germ or a~neighborhood in a topological group. The…
The purpose of this contribution is to give a coherent account of a particular narrative which links locales, geometric theories, sheaf semantics and constructive commutative algebra. We are hoping to convey a firm grasp of three ideas: (1)…
In this paper we define specialization and microlocalization for subanalytic sheaves. Applying these functors to the sheaves of tempered and Whytney holomorphic functions we get a unifying description of tempered and formal…
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…
This paper introduces a notion of presentation for locally inverse semigroups and develops a graph structure to describe the elements of locally inverse semigroups given by these presentations. These graphs will have a role similar to the…
We discuss the basic properties of Lie groupoids, Lie algebroids and Lie pseudo-groups in view of applying these techniques to the analysis of Jordan-H\"older resolutions and, subsequently, to the integration of partial differential…
A Sheaf Neural Network (SNN) is a type of Graph Neural Network (GNN) that operates on a sheaf, an object that equips a graph with vector spaces over its nodes and edges and linear maps between these spaces. SNNs have been shown to have…
These three lectures present some fundamental and classical aspects of microlocal analysis. Starting with the Sato's microlocalization functor and the microsupport of sheaves, we then construct a microlocal analogue of the Hochschild…
In this article, the theory of sheaves is studied from a categorical point of view. This perspective vastly generalizes the usual theory of sheaves of sets to a more abstract setting which allows us to investigate the theory of sheaves with…
We give an elementary construction of homology of sheaves from Brown representability for the dual and see how its main properties are derived easily from the construction. Comparison with Poincar\'e-Verdier duality and with homology of…
We introduce an axiomatization of Grothendieck sites with additional structure, and we describe sheaves that reconstruct groupoids which are internal to the site structure. This setting applies to various concrete situations, where a Nash…