Related papers: Additive Grothendieck pretopologies and presentati…

This is an introduction to the study of abstract homotopy theory by means of model categories and $(\infty,1)$-categories. The only prerequisites are very basic general topology and abstract algebra. None categorical background is needed.…

A new approach to the construction of general persistent polyhierarchical classifications is proposed. It is based on implicit description of category polyhierarchy by a generating polyhierarchy of classification criteria. Similarly to…

Expansions of abelian categories are introduced. These are certain functors between abelian categories and provide a tool for induction/reduction arguments. Expansions arise naturally in the study of coherent sheaves on weighted projective…

We present a combinatorial analogue of the nerve theorem for covers of small categories, using the Grothendieck construction. We apply our result to prove the inclusion-exclusion principle for the Euler characteristic of a finite category.

We introduce a Grothendieck group of algebraic stacks (with affine stabilisers) analogous to the Grothendieck group of algebraic varieties. We then identify it with a certain localisation of the Grothendieck group of algebraic varieties.…

We develop a homotopy theory for additive categories endowed with endofunctors, analogous to the concept of a model structure. We use it to construct the homotopy theory of a Hovey triple (which consists of two compatible complete cotorsion…

We study elementary theories of well-pointed toposes and pretoposes, regarded as category-theoretic or "structural" set theories in the spirit of Lawvere's "Elementary Theory of the Category of Sets". We consider weak intuitionistic and…

We introduce the notion of inductive category in a model category and prove that it agrees with the Ganea approach given by Doeraene. This notion also coincides with the topological one when we consider the category of (well-) pointed…

For an essentially small triangulated category $\mathcal{T}$, we introduce the notion of prime thick subcategories and define the spectrum of $\mathcal{T}$, which shares the basic properties with the spectrum of a tensor triangulated…

In the framework of Abstract Differential Geometry, we show that to a given principal sheaf and a representation of its stuctural sheaf in $A^n$, where A is a sheaf of associative, commutative, unital algebras (over R or C), we associate a…

The Grothendieck--Serre conjecture predicts that every generically trivial torsor under a reductive group scheme $G$ over a regular local ring $R$ is trivial. We settle it in the case when $G$ is quasi-split and $R$ is unramified. Some of…

We introduce the notion of meromorphic tensor category and illustrate it in several examples. They include representations of quantum affine algebras, chiral algebras of Beilinson and Drinfeld, G-vertex algebras of Borcherds, and…

We define the Grothendieck group of an $n$-exangulated category. For $n$ odd, we show that this group shares many properties with the Grothendieck group of an exact or a triangulated category. In particular, we classify dense complete…

We show under suitable finiteness conditions that a functor between abelian categories induces a (not necessarily additive) map between their Grothendieck groups. This is related to the derived functors of Dold and Puppe, and generalizes a…

We introduce a notion of proxy smallness for $t$-structures on triangulated categories associated to a Noetherian scheme. Specifically, the theory is developed in the presence of tensor actions. Consequently, our results yield a new…

Let $\mathbb{D}$ be the category of pro-sets (or abelian pro-groups). It is proved that for any Grothendieck site $X$, there exists a reflector from the category of precosheaves on $X$ with values in $\mathbb{D}$ to the full subcategory of…

One-sided exact categories appear naturally as instances of Grothendieck pretopologies. In an additive setting they are given by considering the one-sided part of Keller's axioms defining Quillen exact categories. We study one-sided exact…

Condensed mathematics, developed by Clausen and Scholze over the last few years, proposes a generalization of topology with better categorical properties. It replaces the concept of a topological space by that of a condensed set, which can…

Many interesting classes of maps from homotopical algebra can be characterised as those maps with the right lifting property against certain sets of maps (such classes are sometimes referred to as cofibrantly generated). In a more…

This paper develops a general theory of canonical bases, and how they arise naturally in the context of categorification. As an application, we show that Lusztig's canonical basis in the whole quantized universal enveloping algebra is given…