Related papers: Sheaves of $(\infty, \infty)$-categories
We propose foundations for a synthetic theory of $(\infty,1)$-categories within homotopy type theory. We axiomatize a directed interval type, then define higher simplices from it and use them to probe the internal categorical structures of…
We give scheme-theoretic descriptions of the category of fibre functors on the categories of sheaves associated to the Zariski, Nisnevich, \'etale, rh, cdh, ldh, eh, qfh, and h topologies on the category of separated schemes of finite type…
We study the homotopy right Kan extension of homotopy sheaves on a category to its free cocompletion, i.e. to its category of presheaves. Any pretopology on the original category induces a canonical pretopology of generalised coverings on…
If a Quillen model category can be specified using a certain logical syntax (intuitively, ``is algebraic/combinatorial enough''), so that it can be defined in any category of sheaves, then the satisfaction of Quillen's axioms over any site…
In this paper, we classify several subcategories of the category of coherent sheaves on a noetherian divisorial scheme (e.g. a quasi-projective scheme over a commutative noetherian ring). More precisely, we classify the torsionfree (resp.…
We extend Orlov's representability theorem on the equivalence of derived categories of sheaves to the case of smooth stacks associated to normal projective varieties with only quotient singularities.
Let $G$ be a compact connected Lie group. We show that the category $\mathbf{Loc}_{\infty}(BG)$ of $\infty$-local systems on the classifying space of $G$, can be described infinitesimally as the category…
Let $X$ be a topological space equipped with a basis. We prove that, for every $\infty$-category $\mathcal{C}$ with limits, the restriction functor from $\mathcal{C}$-valued hypersheaves on $X$ to basic hypersheaves is an equivalence of…
This paper is the first in a series of papers in which we define and study a category of "sheaves of $\mathcal Z$-modules on the set of alcoves" that carries important information on the category of representations of semisimple Lie…
Evidence is given for the correctness of the Joyal-Riehl-Verity construction of the homotopy bicategory of the $(\infty, 2)$-category of $(\infty, 1)$-categories; in particular, it is shown that the analogous construction using complete…
We present a uniform theory of constructible sheaves on arbitrary schemes with coefficients in topological or even condensed rings. This is accomplished by defining lisse sheaves to be the dualizable objects in the derived infinity-category…
This paper makes contributions to ``pure'' sheaf model theory, the part of model theory in which the models are sheaves over a complete Heyting algebra. We start by outlining the theory in a way we hope is readable for the non-specialist.…
We construct Grothendieck topologies on the path category of a finite graph, examining both coarse and discrete cases that offer different perspectives on quiver representations. The coarse topology declares each vertex covered by all…
In these notes, an introduction to derived categories and derived functors is given. The main focus is the bounded derived category of coherent sheaves on a smooth projective variety.
In this paper we prove first a general theorem on semiorthogonal decompositions in derived categories of coherent sheaves for flat families over a smooth base. Based on the results of math.AG/0510670, we then show that the derived…
We construct a sheaf-theoretic analogue of the wrapped Fukaya category in Lagrangian Floer theory, by localizing a category of sheaves microsupported away from some given $\Lambda \subset S^*M$ along continuation maps constructed using the…
We arrange morphisms and comorphisms of sites as the horizontal and vertical cells of a double category of sites; using the formalism of extensions and restrictions of presheaves, we explains how one can define a sheafification double…
We find some equivalences of the derived category of coherent sheaves on a Gorenstein genus one curve that preserve the (semi)-stability of pure dimensional sheaves. Using them we establish new identifications between certain Simpson moduli…
In this paper we introduce constructible analogs of the discrete complexity classes $\mathbf{VP}$ and $\mathbf{VNP}$ of sequences of functions. The functions in the new definitions are constructible functions on $\mathbb{R}^n$ or…
We describe two types of localization for $(\infty, 1)$-categories which determine the successive terms in the homotopy spectral sequence of a (co)simplicial object.