Related papers: Abstract sheaf theory
It has long been known that a key ingredient for a sheaf representation of a universal algebra A consists in a distributive lattice of commuting congruences on A. The sheaf representations of universal algebras (over stably compact spaces)…
This paper supplements [17], showing that categorically the layered theory is the same as the theory of ordered monoids (e.g. the max-plus algebra) used in tropical mathematics. A layered theory is developed in the context of categories,…
Given the set of paths through a digraph, the result of uniformly deleting some vertices and identifying others along each path is coherent in such a way as to yield the set of paths through another digraph, called a \emph{path abstraction}…
The concept of category from mathematics happens to be useful to computer programmers in many ways. Unfortunately, all "good" explanations of categories so far have been designed by mathematicians, or at least theoreticians with a strong…
We generalize the concepts of locally presentable and accessible categories. Our framework includes such categories as small presheaves over large categories and ind-categories. This generalization is intended for applications in the…
In this paper we develop a general representation theory for mv-algebras. We furnish the appropriate categorical background to study this problem. Our guide line is the theory of classifying topoi of coherent extensions of universal algebra…
Our main interest in this paper is chiefly concerned with the conditions characterizing \textit{orthogonal and symplectic abstract differential geometries}. A detailed account about the sheaf-theoretic version of the \textit{symplectic…
We introduce a new method for ``twisting'' relative equivalences of derived categories of sheaves on two spaces over the same base. The first aspect of this is that the derived categories of sheaves on the spaces are twisted. They become…
We give a homotopy theoretic characterization of sheaves on a stack and, more generally, a presheaf of groupoids on an arbitary small site C. We use this to prove homotopy invariance and generalized descent statements for categories of…
Tree sets are posets with additional structure that generalize tree-like objects in graphs, matroids, or other combinatorial structures. They are a special class of abstract separation systems. We study infinite tree sets and how they…
The hypothesis concerning the off-site continuum existence is investigated from the point of view of the mathematical theory of sets. The principles and methods of the mathematical description of the physical objects from different off-site…
Sampling theory has traditionally drawn tools from functional and complex analysis. Past successes, such as the Shannon-Nyquist theorem and recent advances in frame theory, have relied heavily on the application of geometry and analysis.…
We describe categories of equivariant vector bundles on certain toroidal spherical varieties in linear algebra terms: vector spaces equipped with filtrations, group and Lie algebra actions, and linear maps preserving these structures.
We develop a general theory of extensions of flat functors along geometric morphisms of toposes, and apply it to the study of the class of theories whose classifying topos is equivalent to a presheaf topos. As a result, we obtain a…
We analyze irreducible perverse sheaves on abelian varieties, defined over the complex numbers or the algebraic closure of a finite field, whose Euler characteristic is zero. We give a description of such perverse sheaves under assumptions…
Covering-based rough set theory is an extension to classical rough set. The main purpose of this paper is to study covering rough sets from a topological point of view. The relationship among upper approximations based on topological spaces…
In the authors book, Associative Algebraic Geometry, 2023, and the following article Shemes of Associative Algebras,\\ https://doi.org/10.48550/arXiv.2410.17703,2024, we use an algebraization of the semi-local formal moduli of simple…
We give a brief overview of the properties of a higher dimensional generalization of matrix model which arises naturally in the context of a background independent approach to quantum gravity, the so called group field theory. We show that…
Stochastic networks represent very important subject of research because they have been found in almost all branches of modern science, including also sociology and economy. We provide a information theory point of view, mostly based on its…
Measures in the context of Category Theory lead to various relations, even differential relations, of categories that are independent of the mathematical structure forming objects of a category. Such relations, which are independent of…