Related papers: Sheaves of $(\infty, \infty)$-categories

Various models of $(\infty,1)$-categories, including quasi-categories, complete Segal spaces, Segal categories, and naturally marked simplicial sets can be considered as the objects of an $\infty$-cosmos. In a generic $\infty$-cosmos, whose…

We study the interaction between geometric operations on stacks and algebraic operations on their categories of sheaves. We work in the general setting of derived algebraic geometry: our basic objects are derived stacks X and their…

Building on work by Fiore-Pronk-Paoli, we construct four model structures on the category of double categories, each modeling one of the following: simplicial spaces, Segal spaces, $(\infty,1)$-categories, and $\infty$-groupoids.…

Kapranov and Schechtman defined the category FP of factorized perverse sheaves on Sym(C) smooth along the stratification given by multiplicities and with values in a braided monoidal category V. We define for each d\in N the category…

Continuation of algebraic structures in families of dynamical systems is described using category theory, sheaves, and lattice algebras. Well-known concepts in dynamics, such as attractors or invariant sets, are formulated as functors on…

This note is a part of the lecture notes of a graduate student algebraic geometry seminar held at the department of mathematics in National Taiwan Normal University, 2020 Falls. It aims to introduce an example of sheaves defined on posets…

Given an open-closed decomposition of the stratifying poset, we construct a new semi-orthogonal decomposition of the $\infty$-category of constructible sheaves on a stratified space admitting an exit-path $\infty$-category. From this we…

Elliptic sheaves (which are related to Drinfeld modules) were introduced by Drinfeld and further studied by Laumon--Rapoport--Stuhler and others. They can be viewed as function field analogues of elliptic curves and hence are objects "of…

Let $X$ and $Y$ be real analytic manifolds and let $\Lambda \subseteq T^*X$ and $\Sigma \subseteq T^*Y$ be closed conic subanalytic singular isotropics. Given a sheaf $K \in \mathrm{Sh}_{-\Lambda \times \Sigma}(X \times Y)$ microsupported…

Diagrammatic sets admit a notion of internal equivalence in the sense of coinductive weak invertibility, with similar properties to its analogue in strict $\omega$-categories. We construct a model structure whose fibrant objects are…

We study local systems of $(\infty,n)$-categories on spaces. We prove that categorical local systems are captured by (higher) monodromy data: in particular, if $X$ is $(n+1)$-connected, then local systems of $(\infty,n)$-categories over $X$…

We construct a twist-closed enhancement of the category ${\mathcal D}^b_{\rm coh}(X)$, the bounded derived category of complexes of ${\mathcal O}_X$-modules with coherent cohomology, by means of the DG-category of…

Let $\{\Lambda^\infty_t\}$ be an isotopy of Legendrians (possibly singular) in a unit cosphere bundle $S^*M$. Let $Sh(M, \Lambda^\infty_t)$ be the differential graded (dg) derived category of constructible sheaves on $M$ with singular…

We give a complete classification of semistable rank two sheaves on three-dimensional projective space with maximal third Chern character. This implies an explicit description of their moduli spaces. As an open subset they contain rank two…

This paper is a sequel to "Localization of $\frak{u}$-modules. I", hep-th/9411050. We are starting here the geometric study of the tensor category $\cal{C}$ associated with a quantum group (corresponding to a Cartan matrix of finite type)…

Let $X$ be a finite connected simplicial complex, and let $\delta$ be a perversity (i.e., some function from integers to integers). One can consider two categories: (1) the category of perverse sheaves cohomologically constructible with…

We prove the surprising fact that the infinity-category of stabilized Liouville sectors is a localization of an ordinary category of stabilized Liouville sectors and strict sectorial embeddings. From the perspective of homotopy theory, this…

We show that, for any simplicial space $X$, the $\infty$-category of culf maps over $X$ is equivalent to the $\infty$-category of right fibrations over $\operatorname{sd}(X)$, the edgewise subdivision of $X$. (When $X$ is a Rezk complete…

This article deals with the quotient category of the category of coherent sheaves on an irreducible smooth projective variety by the full subcategory of sheaves supported in codimension greater than c. It turns out that this category has…

In this paper we introduce and study the so-called continuous $K$-theory for a certain class of "large" stable $\infty$-categories, more precisely, for dualizable presentable categories. For compactly generated categories, the continuous…