Related papers: t-structures are normal torsion theories

We show that the double category $\mathbb{C}\mathbf{at}^\#$ of comonoids in the category of polynomial functors (previously shown by Ahman-Uustalu and Garner to be equivalent to the double category of categories, cofunctors, and…

We prove a strong non-structure theorem for a class of metric structures with an unstable pair of formulae. As a consequence, we show that weak categoricity (that is, categoricity up to isomorphisms and not isometries) implies several…

This paper is part of a series of articles in which we reproduce the statements regarding the abstract six-functor formalism developed by Liu-Zheng. In this paper, we prove a theorem, which is an $\infty$-categorical version for defining…

We give a classification of all quasitriangular structures and ribbon elements of $\mathcal{D}(G)$ explicitly in terms of group homomorphisms and central subgroups. This can equivalently be interpreted as an explicit description of all…

We introduce the notion of quantum duplicates of an (associative, unital) algebra, motivated by the problem of constructing toy-models for quantizations of certain configuration spaces in quantum mechanics. The proposed (algebraic) model…

We establish a correspondence between consistent comprehension schemes and complete orthogonal factorisation systems. The comprehensive factorisation of a functor between small categories arises in this way. Similar factorisation systems…

We examine various categorical structures that can and cannot be constructed. We show that total computable functions can be mimicked by constructible functors. More generally, whatever can be done by a Turing machine can be constructed by…

Classically, any structure for a signature $\Sigma$ may be completed to a model of a desired regular theory $T$ by means of the chase construction or small object argument. Moreover, this exhibits $\mathrm{Mod}(T)$ as weakly reflective in…

In the setting of the unbounded derived category D(R) of a ring R of weak global dimension at most one we consider t-structures with a definable coaisle. The t-structures among these which are stable (that is, the t-structures which consist…

We introduce a tensor compatibility condition for t-structures. For any Noetherian scheme $X$, we prove that there is a one-to-one correspondence between the set of filtrations of Thomason subsets and the set of aisles of compactly…

We give a detailed proof of the following fundamental result: the singularity category of a ring is triangle equivalent to the stabilization of its stable module category. The result yields singular equivalences between rings of different…

We prove that given any strong, stable derivator and a $t$-structure on its base triangulated category $\cal D$, the $t$-structure canonically lifts to all the (coherent) diagram categories and each incoherent diagram in the heart uniquely…

In this paper, we present a proof of the consistency of the New Foundations set theory ($\mathit{NF}$). $\mathit{NF}$'s main idea is to permit very large sets (including the Universal Set) by restricting set formation to stratified…

We develop a framework relating semiorthogonal decompositions of a triangulated category $\mathcal{C}$ to paths in its space of stability conditions. We prove that when $\mathcal{C}$ is the homotopy category of a smooth and proper…

In this paper we formalize some foundation concepts and theorems of group theory in a variant of type theory called the Calculus of Constructions with Definitions. In this theory we introduce definition of a group, which is both general and…

Let $n$ be a non-negative integer. An exact category $\C$ is said to be an $n$-Frobenius category, provided that it has enough $n$-projectives and $n$-injectives and the $n$-projectives coincide with the $n$-injectives. It is proved that…

The modal logic of forcing arises when one considers a model of set theory in the context of all its forcing extensions, interpreting necessity as "in all forcing extensions" and possibility as "in some forcing extension". In this modal…

The aim of this work is to point out a strong structural phenomenon hidden behind the existence of normalizers through the investigation of this property in the non-pointed context: given any category E, a certain property of the fibration…

The notions of consistent pairs and consistent chains of t-structures are introduced. A theorem that two consistent chains of t-structures generate a distributive lattice is proven. The technique developed is then applied to the pairs of…

We associate a t-structure to a family of objects in D(A), the derived category of a Grothendieck category A. Using general results on t-structures, we give a new proof of Rickard's theorem on equivalence of bounded derived categories of…