Related papers: Categorification of sheaf theory
A theory of a derivator version of six-functor-formalisms is developed, using an extension of the notion of fibered multiderivator due to the author. Using the language of (op)fibrations of 2-multicategories this has (like a usual fibered…
We give an introduction to constructive category theory by answering two guiding computational questions. The first question is: how do we compute the set of all natural transformations between two finitely presented functors like…
We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and…
We show that $E$-theory for locally compact Hausdorff spaces constitutes a six-functor formalism which is equivalent to the six-functor formalism of $\mathrm{E}$-valued sheaves. We furthermore show that the $E$-theory category for locales…
In this article, we develop an explicit categorical realization of sheafification based on colimits, products, and subobjects, emphasizing its behavior in algebraic and topological-algebraic settings. We prove that if $\mathcal{C}$ is a…
We introduce a notion of complexity of a complex of ell-adic sheaves on a quasi-projective variety and prove that the six operations are "continuous", in the sense that the complexity of the output sheaves is bounded solely in terms of the…
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 define the notion of 1-affineness for a prestack, and prove an array of results that establish 1-affineness of certain types of prestacks.
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 study the structure of the category of representations of $\mathbf{FA}$, the category of finite sets and all maps, mostly working over a field of characteristic zero. This category is not semi-simple and exhibits interesting features. We…
In conformal field theory the understanding of correlation functions can be divided into two distinct conceptual levels: The analytic properties of the correlators endow the representation categories of the underlying chiral symmetry…
We construct new six-functor formalisms capturing cohomological invariants of varieties with potentials. Starting from any six-functor formalism $C$, encoded as a coefficient system, we associate a new six-functor formalism…
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…
This article is first in a series of papers where we reprove the statements in constructing the Enhanced Operation Map and the abstract six-functor formalism developed by Liu-Zheng. In this paper, we prove a theorem regarding constructing…
Given a stratified topological space, we answer the question whether the functor from the derived category of constructible sheaves to the derived category of sheaves with constructible cohomology is an equivalence. We also establish basic…
Starting from simple and necessary axioms on a (derivator enhanced) four-functor-formalism, we construct derivator six-functor-formalisms using compactifications. This works, for instance, for the stable homotopy categories of…
We use sheaf theory and the six operations to define and study the (equivariant) homology of stacks. The construction makes sense in the algebraic, complex-analytic, or even topological categories.
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…
We define a notion of "theory of (1,infty)-categories", and we prove that such a theory is unique up to equivalence.
A certain amount of category theory is developed in an arbitrary finitely complete category with a factorization system on it, playing the role of the comprehensive factorization system on Cat. Those aspects related to the concepts of…