Related papers: Abstract sheaf theory
We define a monoidal semantics for algebraic theories. The basis for the definition is provided by the analysis of the structural rules in the term calculus of algebraic languages. Models are described both explicitly, in a form that…
We describe an analogue of the notion of a perverse sheaf in the setting of the derived category of coherent sheaves on an algebraic stack. Under strong additional assumptions the construction of coherent "intersection cohomology" complexes…
While the utility of well-chosen abstractions for understanding and predicting the behaviour of complex systems is well appreciated, precisely what an abstraction $\textit{is}$ has so far has largely eluded mathematical formalization. In…
Sheaves and sheaf cohomology are powerful tools in computational topology, greatly generalizing persistent homology. We develop an algorithm for simplifying the computation of cellular sheaf cohomology via (discrete) Morse-theoretic…
We define an equivalence relation among coherent sheaves on a projective variety called biliaison. We prove the existence of sheaves that are minimal in a biliaison class in a suitable sense, and show that all sheaves in the same class can…
The development of mathematics has been characterized by the increasing interconnectivity of seemingly separate disciplines. Such interplay has been facilitated by a massive development in formalism; category theory has provided a common…
The goal of this note is to spell out the (apparently well-known and intuitively clear) notion of abelian category over an algebraic stack. In the future we will discuss the (much less evident) notion, when instead of an abelian category…
The notion of a spherical space over an arbitrary base scheme is introduced as a generalization of a spherical variety over an algebraically closed field. It is studied how the sphericity condition behaves in families. In particular it is…
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 define vector fields, leaves and trajectories for schemes. With these tools, we are able to give a geometrical interpretation and to generalize several results of differential Galois theory and constructions on differential schemes. We…
The central focus is on clarifying the distinction between sets and proper classes. To this end we identify several categories of concepts (surveyable, definite, indefinite), and we attribute the classical set theoretic paradoxes to a…
We introduce a class of noncommutative spectra and give the sheaf structure on the class of noncommutative spectra.
A generalization of the notion of an $\infty$-category is presented, allowing for ($\infty$-)cat(egorie)s that may have non-invertible higher morphisms.
The category of coherent sheaves over a noetherian scheme is very important for studying the properties of a given scheme. For noetherian schemes it is a well-known fact that the topology can be fully recovered from the corresponding…
We explore the category of internal categories in the usual category of (right) group-sets, whose objects are referred to as categorified group-sets. More precisely, we develop a new Burnside theory, where the equivalence relation between…
Metaphysical interpretations of set theory are either inconsistent or incoherent. The uses of sets in mathematics actually involve three distinct kinds of collections (surveyable, definite, and heuristic), which are governed by three…
This article has the following aims: (1) Extend the notion of fuchsian singularities (of first kind) to base fields of arbitrary characteristic. (2) Discuss their relationship to mathematical objects of a different nature. (3) Provide a…
The representation theory for categorical groups is constructed. Each categorical group determines a monoidal bicategory of representations. Typically, these categories contain representations which are indecomposable but not irreducible. A…
We give a simple algebraic description of opetopes in terms of chain complexes, and we show how this description is related to combinatorial descriptions in terms of treelike structures. More generally, we show that the chain complexes…
Abstract separation systems are a new unifying framework in which separations of graph, matroids and other combinatorial structures can be expressed and studied. We characterize the abstract separation systems that have representations as…