Related papers: On $\mathbf {Cat}$-valued sheaves
For a collection of subcategories satisfying a fixed set of conditions, for example thick subcategories of a triangulated category, we define a topological space called classifying space of subcategories. We show that this space classifies…
We describe a pretorsion theory in the category $Cat$ of small categories: the torsion objects are the groupoids, while the torsion-free objects are the skeletal categories, i.e., those categories in which every isomorphism is an…
In this note, we review a construction of category with families (CwF) in a presheaf category. When the base category of a presheaf category is a CwF, we internalize this CwF structure in the CwF of the presheaf category. This note assumes…
We show that small quasicategories embed, both simplicially and 2-categorically, into prederivators defined on arbitrary small categories, so that in some senses prederivators can serve as a model for $(\infty,1)$-categories. The result for…
We construct a localic groupoid $\mathbb{G}_{KH}$ such that for any locale $X$ the category of compact Hausdorff locales in the topos of sheaves over $X$ is equivalent to a category whose objects are principal $\mathbb{G}_{KH}$-bundles over…
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 classify a "dense open" subset of categories with an action of a reductive group, which we call nondegenerate categories, entirely in terms of the root datum of the group. As an application of our methods, we also: (1) Upgrade an…
We provide a functorial presentation of the $(\infty, 1)$-category of sheaves of $(n, r)$-categories for all $-2 \leq n\leq\infty$ and $0 \leq r\leq n+2$ based on complete Segal space objects. In this definition, the equivalences of sheaves…
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…
Categories, n-categories, double categories, and multicategories (among others) all have similar definitions as collections of cells with composition operations. We give an explicit description of the information required to define any…
We describe a bicategory $(\mathcal{R}ed\,\mathcal{O}rb)$ of reduced orbifolds in the framework of classical differential geometry (i.e. without any explicit reference to notions of Lie groupoids or differentiable stacks, but only using…
In this paper, we deal with quantum theories on presheaves and sheaves on context categories consisting of commutative von Neumann algebras of bounded operators on a Hilbert space, from two viewpoints. One is to reduce presheaf-based topos…
To a conical symplectic resolution with Hamiltonian torus action, Braden--Proudfoot--Licata--Webster associate a category O, defined using deformation quantization (DQ) modules. It has long been expected, though not stated precisely in the…
Motivated by algebraic quantum field theory, we study presheaves of symmetric tensor categories defined over the base of a space, intended as a spacetime. Any section of a presheaf (that is, any "superselection sector", in the applications…
In this paper we characterize the sectional category of subgroup inclusions and the $r^{th}$-sequential topological complexity of aspherical spaces of a group G in terms of the A-genus in the sense of Clapp-Puppe and Bartsch for a suitable…
The immensely fruitful concept of Grothendieck topology or covering issued from the efforts of algebraic geometers to study "sheaf-like" objects defined on categories more general than the lattice of open sets on a topological space. In the…
We initiate the study of sheaves on Cech closure spaces, providing a new, unified approach to sheaf theory on many of the major classes of spaces of interest to applications: topological spaces, finite simplicial complexes (seen as $T_0$…
Locally ordered spaces can be used as topological models of concurrent programs: the local order models the irreversibility of time during execution. Under certain conditions, one can even work with locally ordered manifolds. In this paper,…
We prove criteria for a presheaf on logarithmic schemes to be a sheaf in the full logarithmic \'etale topology and describe several situations where the structure sheaf and logarithmic structure are logarithmic \'etale sheaves. We deduce…
Moerdijk's site description for equivariant sheaf toposes on open topological groupoids is used to give a proof for the (known, but apparently unpublished) proposition that if H is a strictly full subgroupoid of an open topological groupoid…