Related papers: Hearts and towers in stable infinity-categories

A new category of topological spaces with additional structures, called m-towers, is introduced. It is shown that there is a covariant functor which establishes a one-to-one correspondences between unital (resp. arbitrary) subhomogeneous…

In this paper we study the global structure of the stable homotopy theory of spectra. We establish criteria for when the homotopy theory associated to a given stable model category agrees with the classical stable homotopy theory of…

We construct a Goodwillie tower of categories which interpolates between the category of pointed spaces and the category of spectra. This tower of categories refines the Goodwillie tower of the identity functor in a precise sense. More…

We introduce the notion of a "baric structure" on a triangulated category, as an abstraction of S. Morel's weight truncation formalism for mixed l-adic sheaves. We study these structures on the derived category D_G(X) of G-equivariant…

Let l be a commutative ring with unit. Garkusha constructed a functor from the category of l-algebras into a triangulated category D, that is a universal excisive and homotopy invariant homology theory. Later on, he provided different…

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…

In the context of categories equipped with a structure of nullhomotopies, we introduce the notion of homotopy torsion theory. As special cases, we recover pretorsion theories as well as torsion theories in multi-pointed categories and in…

After constructing a splitting tower for separable commutative ring objects in tensor-triangulated categories, we define and study their degree.

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…

Let $\mathcal A$ be a Hom-finite abelian category with enough projectives. In this note, we show that any covariantly finite $\tau$-rigid subcategory is contained in a support $\tau$-tilting subcategory. We also show that support…

We develop a technique for normalization for $\infty$-type theories. The normalization property helps us to prove a coherence theorem: the initial model of a given $\infty$-type theory is $0$-truncated. The coherence theorem justifies…

We provide, among other things: (i) a Bousfield--Kan formula for colimits in $\infty$-categories (generalizing the 1-categorical formula for a colimit as a coequalizer of maps between coproducts); (ii) $\infty$-categorical generalizations…

This thesis provides an introduction to the various category theory ideas employed in topological quantum field theory. These theories are viewed as symmetric monoidal functors from topological cobordism categories into the category of…

Recently, Amnon Neeman settled a bold conjecture by Antieau, Gepner, and Heller regarding the relationship between the regularity of finite-dimensional noetherian schemes and the existence of bounded $t$-structures on their derived…

We give a simultaneous generalization of exact categories and triangulated categories, which is suitable for considering cotorsion pairs, and which we call extriangulated categories. Extension-closed, full subcategories of triangulated…

Let $T$ be a $1$-tilting module whose tilting torsion pair $({\mathcal T}, {\mathcal F})$ has the property that the heart ${\mathcal H}_t$ of the induced $t$-structure (in the derived category ${\mathcal D}({\rm Mod} \mbox{-} R)$ is…

Studying crepant blow-ups of (compound) du Val singularities, we classify complexes of coherent sheaves which admit no negative self-extensions -- such a complex, up to flops and mutation equivalences, must either be (1) a module over a…

Given a set of 'simple-minded' objects in a derived category, Rickard constructed a complex, which over a symmetric algebra provides a derived equivalence sending the 'simple-minded' objects to simple ones. We characterise in terms of…

We consider the terminal monad among those preserving the objects of a subcategory, and in particular preserving the image of a monad. Several common monads are shown to be uniquely characterized by the property of being terminal objects in…

The first part of this paper completes the classification of Whitney towers in the 4-ball that was started in three related papers. We provide an algebraic framework allowing the computations of the graded groups associated to geometric…