Related papers: An inductive-recursive universe generic for small …
We propose a generalisation of the Jacquet-Langlands correspondence to the whole Grothendieck group of finite lenght admissible representations. As an application we prove some particular cases of the global Jacquet-Langlands…
We establish a formula for the classes of certain tori in the Grothendieck ring of varieties, in terms of its lambda-structure. More explicitly, we will see that if L* is the torus of invertible elements in the n-dimensional separable…
We prove a derived version of the Gabriel-Popescu theorem in the framework of dg-categories and t-structures. This exhibits any pretriangulated dg-category with a suitable t-structure (such that its heart is a Grothendieck abelian category)…
Every cotilting module over a ring R induces a t-structure with a Grothendieck heart in the derived category D(Mod R). We determine the simple objects in this heart and their injective envelopes, combining torsion-theoretic aspects with…
A generalization of the Hartogs theorem is proved for a class of Tubes structures. We assume that the intervening commutative Lie algebra admits at least a number of globally solvable generators greater or equal to the structure…
Any scheme has its associated little and big Zariski toposes. These toposes support an internal mathematical language which closely resembles the usual formal language of mathematics, but is "local on the base scheme": For example, from the…
We introduce the notion of integrality of Grothendieck categories as a simultaneous generalization of the primeness of noncommutative noetherian rings and the integrality of locally noetherian schemes. Two different spaces associated to a…
In this paper we apply some tools developed in our previous work on Grothendieck $\infty$-groupoids to the finite-dimensional case of weak 3-groupoids. We obtain a semi-model structure on the category of Grothendieck 3-groupoids of suitable…
We present and characterize the classes of Grothendieck toposes having enough supercompact objects or enough compact objects. In the process, we examine the subcategories of supercompact objects and compact objects within such toposes and…
Applying the authors' preceding work, we construct a version of the moduli space of $G$-torsors over the formal punctured disk for a finite group $G$. To do so, we introduce two Grothendieck topologies, the sur (surjective) and luin…
Topos theory occupies a singular place in contemporary mathematics: born from Grothendieck's algebraic geometry, it has emerged as a unifying language for geometry, topology, algebra, and logic. This book offers a progressive introduction…
The aim of this paper is to refine and extend proposals by Sozeau and Tabareau and by Voevodsky for universe polymorphism in type theory. In those systems judgments can depend on explicit constraints between universe levels. We here present…
A subset U of a group G is called k-universal if U contains a translate of every k-element subset of G. We give several nearly optimal constructions of small k-universal sets, and use them to resolve an old question of Erdos and Newman on…
In this paper we present a general theory of $\Pi_{2}$-rules for systems of intuitionistic and modal logic. We introduce the notions of $\Pi_{2}$-rule system and of an Inductive Class, and provide model-theoretic and algebraic completeness…
A universal generator for integer-valued square-integrable random variables is introduced. The generator relies on a rejection technique based on a generalization of the inversion formula for integer-valued random variables. The proposal…
In this paper, we introduce a general family of sequent-style calculi over the modal language and its fragments to capture the essence of all constructively acceptable systems. Calling these calculi \emph{constructive}, we show that any…
We establish a general method for generating reflections between categories. We then apply our technique to generate adjunctions starting from geometric morphisms between Grothendieck toposes; as particular cases, we recover various…
The goal of this paper is to address the problem of building a path object for the category of Grothendieck (weak) $\infty$-groupoids. This is the missing piece for a proof of Grothendieck's homotopy hypothesis. We show how to endow the…
A topologically-invariant and additive homology class is mostly not a natural transformation as it is. In this paper we discuss turning such a homology class into a natural transformation; i.e., a "categorification" of it. In a general…
We show that the homotopy category of injective $A$-modules is generically trivial if and only if the derived category of all modules is generically trivial for an algebra $A$. Moreover we show some connections between the generic objects,…