Related papers: W-types in sheaves

Given a general finite group $G$, we consider several categories built on it, their Grothendieck topologies and resulting sheaf categories. For a certain class of transporter categories and their quotients, equipped with atomic topology, we…

We define a skew-closed structure for Gray-categories extending the mapping space construction of the author.

We give a comprehensive representation of the construction of dyadic cubes in spaces of homogeneous type.

We study some properties of the characteristic cycle of a constructible complex on a smooth variety over a perfect field, push-forward and product.

We study presheaves on semicategories enriched in a quantaloid: this gives rise to the notion of regular presheaf. A semicategory is regular when its representable presheaves are regular, and its regular presheaves then constitute an…

Some inequalities for different types of convexity are established.

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…

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…

We introduce layers to modal type theories, which subsequently enables type theories for pattern matching on code in meta-programming and clean and straightforward semantics.

We give a homotopy theoretic characterization of sheaves on a stack and, more generally, a presheaf of groupoids on an arbitary small site C. We use this to prove homotopy invariance and generalized descent statements for categories of…

We classify all Gieseker semi-stable sheaves on the complex projective plane that have dimension 1 and multiplicity 6. We decompose their moduli spaces into strata which occur naturally as quotients modulo actions of certain algebraic…

We relate the endomorphism rings of certain $D$-elliptic sheaves of finite characteristic to hereditary orders in central division algebras over function fields.

In this article we give an equivariant version for the construction of generic models on presheaves of structures. We deal with first order structures endowed with a suitable action of some fixed group, say $G$; we call them $G$-structures.…

We give a self-dual t-structure on the derived category of $\mathbb{R}$-constructible sheaves over a Noetherian regular ring by generalizing the notion of t-structure.

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…

This paper works out in detail the closed multicategory structure of the category of Waldhausen categories.

We describe categories of equivariant vector bundles on certain toroidal spherical varieties in linear algebra terms: vector spaces equipped with filtrations, group and Lie algebra actions, and linear maps preserving these structures.

In this paper we give classification of K\"ahler surfaces of generalized Calabi type.

This paper gives an explicit computation of the category of constructible sheaves on a toric variety (with respect to the stratification by torus orbits). Over the complex numbers, this simplifies a description due to Braden and Lunts. The…

We prove existence of reflexive sheaves on singular surfaces and threefolds with prescribed numerical invariants and study their moduli.