Related papers: Homotopy categories and idempotent completeness, w…

We study $t$-structures (on triangulated categories) that are closely related to weight structures. A $t$-structure couple $t=(C_{t\le 0},C_{t\ge 0})$ is said to be adjacent to a weight structure $w=(C_{w\le 0}, C_{w\ge 0})$ if $C_{t\ge…

A $t$-structure $t=(C_{t\le 0},C_{t\ge 0})$ on a triangulated category $C$ is right adjacent to a weight structure $w=(C_{w\le 0}, C_{w\ge 0})$ if $C_{t\ge 0}=C_{w\ge 0}$; then $t$ can be uniquely recovered from $w$ and vice versa. We prove…

Given an additive category $\mathcal{C}$ and an integer $n\geqslant 2$. We form a new additive category $\mathcal{C}[\epsilon]^n$ consisting of objects $X$ in $\mathcal{C}$ equipped with an endomorphism $\epsilon_X$ satisfying…

We systematically develop the theory of definable functors between compactly generated triangulated categories. Such functors preserve pure triangles, pure injective objects, and definable subcategories, and as such appear in a wide range…

We study several structure aspects of functor categories from a small additive category to a module category, in particular the category F(A,K) of functors from finitely generated free modules over a commutative ring A to vector spaces over…

We define two model structures on the category of bicomplexes concentrated in the right half plane. The first model structure has weak equivalences detected by the totalisation functor. The second model structure's weak equivalences are…

This is a survey of author's results on weight structures and Voevodsky's motives. Weight structures are natural counterparts of t-structures (for triangulated categories) introduced by the author. They allow to construct weight complexes,…

We define exact weights on a triangulated category to be nonnegative functions on objects satisfying a subadditivity condition with respect to exact triangles. Such weights induce a metric on objects in the triangulated category, which we…

For a rigid object $M$ in an algebraic triangulated category $\mathcal{T}$, a functor pr$(M)\to\mathcal{H}^{[-1,0]}({\rm proj}\, A)$ is constructed, which essentially takes an object to its `presentation', where pr$(M)$ is the full…

We construct a functor from the category of graphs to the category of groups which is faithful and "almost" full, in the sense that it induces bijections of the Hom sets up to trivial homomorphisms and conjugation in the category of groups.…

This paper is devoted to morphisms killing weights in a range (as defined by the first author) and to objects without these weights (as essentially defined by J. Wildeshaus) in a triangulated category endowed with a weight structure w. We…

Algebraic $kk$-theory, introduced by Corti\~nas and Thom, is a bivariant $K$-theory defined on the category $\mathrm{Alg}$ of algebras over a commutative unital ring $\ell$. It consists of a triangulated category $kk$ endowed with a functor…

This paper is dedicated to the study of smashing weight structures (one may say that these are weight structures "coherent with arbitrary coproducts"), and the application of their properties to $t$-structures. In particular, we prove that…

In this paper, we justify and make precise an elementary approach that establishes the existence of (co)limits in $\mathbf{Cat}$. This approach, while conceptually evident, has not been made fully explicit or systematically described in the…

We show that the idempotent completion of an n-angulated category admits a unique n-angulated structure such that the inclusion is an n-angulated functor, which satisfies a universal property.

As we proved earlier, for a triangulated category $\underline{C}$ endowed with a weight structure $w$ and a triangulated subcategory $\underline{D}$ of $\underline{C}$ (strongly) generated by cones of a set of morphisms $S$ in the heart…

For a topological space that is homeomorphic to a finite simplicial complex, we prove that the Bartels--Nikolaus assembly functor has a fully faithful right adjoint. Using this, we define for each such topological space $X$ a {\em Whitehead…

In this paper, we introduce a cofibrant simplicial category that we call the free homotopy coherent adjunction and characterize its n-arrows using a graphical calculus that we develop here. The hom-spaces are appropriately fibrant, indeed…

The extriangulated category is a simultaneous generalization of exact categories and triangulated categories. H. Nakaoka and Y. Palu have proved that the homotopy category of an admissible model structure on a weakly idempotent complete…

We prove an adjoint functor theorem in the setting of categories enriched in a monoidal model category $\mathcal V$ admitting certain limits. When $\mathcal V$ is equipped with the trivial model structure this recaptures the enriched…