Related papers: Grothendieck quasitoposes

The Grothendieck construction is a process to form a single category from a diagram of small categories. In this paper, we extend the definition of the Grothendieck construction to diagrams of small categories enriched over a symmetric…

Let $V$ be a finite-dimensional positively-graded vector space. Let $b \in V \otimes V$ be a homogeneous element whose rank is $\text{dim}(V)$. Let $A=TV/(b)$, the quotient of the tensor algebra $TV$ modulo the 2-sided ideal generated by…

Waldhausen's algebraic K-theory machinery is applied to motivic homotopy theory, producing an interesting motivic homotopy type. Over a field F of characteristic zero, its path components receive a surjective ring homomorphism from the…

We study the Grothendieck monoid (a monoid version of the Grothendieck group) of an extriangulated category, and give some results which are new even for abelian categories. First, we classify Serre subcategories and dense 2-out-of-3…

Building on the work of Gerstenhaber and Schack for presheaves of algebras, we define a Gerstenhaber-Schack complex C_GS(A) for an arbitrary prestack A, that is a pseudofunctor taking values in linear categories over a commutative ground…

We develop a theory of quasicoherent sheaves on dagger analytic varieties based on Ind-Banach spaces. We show that they satisfy descent in the analytic topology. We define compactly supported pushforwards and produce an adjunction $f_!…

Let $\operatorname{K}_0(\operatorname{Var}_k)$ denote the Grothendieck ring of $k$-varieties over an algebraically closed field $k$. Larsen and Lunts asked if two $k$-varieties having the same class in $\operatorname{K}_0…

We give an application of our earlier results concerning the quasiconformal extension of a germ of a conformal map to establish that in two dimensions the equipotential level lines of a capacitor are quasicircles whose distortion depends…

Let $G$ be a finite group. In the first part of the paper we develop further the foundations of the youngly introduced glider representation theory. Glider representations encompass filtered modules over filtered rings and as such carry…

We establish a Grothendieck--Lefschetz theorem for smooth ample subvarieties of smooth projective varieties over an algebraically closed field of characteristic zero and, more generally, for smooth subvarieties whose complement has small…

We study homotopy theory of the category of spectral sequences with respect to the class of weak equivalences given by maps which are quasi-isomorphisms on a fixed page. We introduce the category of extended spectral sequences and show that…

Under certain conditions, a scheme can be reconstructed from its category of quasi-coherent sheaves. The Tannakian reconstruction theorem provides another example where a geometric object can be reconstructed from an associated category, in…

We build an infinite dimensional scheme parametrizing isomorphism classes of coherent quotients of a quasi-coherent sheaf on a projective scheme. The main tool to achieve the construction is a version of Grothendieck's Grassmannian…

We study various characterizations of higher sites over a given $\infty$-category $\mathcal{C}$ which are conceptually in line with their classical ordinary categorical counterparts, and extract some new results about $\infty$-topos theory…

The paper studies categories of definable subassignments with some category equivalences to semi-algebraic and constructible subsets of arc spaces of algebraic varieties. These materials allow us to compare the motivic measure of…

Elmendorf's Theorem states that the category of continuous actions of a topological group is a Grothendieck topos in the sense that it is equivalent to a category of sheaves on a site. This paper offers a 2-dimensional generalization by…

The bootstrap category in E-theory for C*-algebras over a finite space X is embedded into the homotopy category of certain diagrams of K-module spectra. Therefore it has infinite n-order for every n. The same holds for the bootstrap…

A discrete subgroup of the group of isometries of the hyperbolic space is called reflective if up to a finite index it is generated by reflections in hyperplanes. The main result of this paper is a complete classification of the reflective…

We construct a "diagonal" cofibrantly generated model structre on the category of simplicial objects in the category of topological categories sCat_{Top}, which is the category of diagrams [\Delta^{op}, Cat_{Top}]. Moreover, we prove that…

After reviewing the multiple roles of toposes - as generalized topological spaces, as universal invariants, as categorical analogues of the set-theoretic universe, and as semantic environments for first-order theories - we recall the notion…