Related papers: Cotorsion pairs and a $K$-theory Localization Theo…

Waldhausen categories were introduced to extend algebraic $K$-theory beyond Quillen's exact categories. In this article, we modify Waldhausen's axioms so that it matches better with the theory of extriangulated categories, introducing a…

Given a hereditary complete cotorsion pair $(\mathsf A,\mathsf B)$ generated by a set of objects in a Grothendieck category $\mathsf K$, we construct a natural equivalence between the Becker coderived category of the left-hand class…

In this paper we introduce a special kind of relative (co)resolutions associated to a pair of classes of objects in an abelian category $\mathcal{C}.$ We will see that, by studying these relative (co)resolutions, we get a possible…

We prove a localisation theorem for the K-theory of filtering subcategories of exact $\infty$-categories which subsumes the localisation theorem for stable $\infty$-categories, Quillen's localisation theorem for abelian categories, and…

This paper examines the category C^k_{d,n} whose morphisms are d-dimensional smooth manifolds that are properly embedded in the product of a k-dimensional cube with an (d+n-k)-dimensional Euclidean space. There are k directions to compose…

We use a simplicial product version of Quillen's Theorem A to prove classical Waldhausen Additivity of wS., which says that the "subobject" and "quotient" functors of cofiber sequences induce a weak equivalence wS.E(A,C,B)--> wS.A x wS.B .…

Given a complete hereditary cotorsion pair $(\mathcal{A},\mathcal{B})$ in a Grothendieck category $\mathcal{G}$, the derived category $\mathcal{D}(\mathcal{B})$ of the exact category $\mathcal{B}$ is defined as the quotient of the category…

We study the category $\operatorname{Rep}(Q,\mathcal{C})$ of representations of a quiver $Q$ with values in an abelian category $\mathcal{C}$. For this purpose we introduce the mesh and the cone-shape cardinal numbers associated to the…

In an intriguing paper arXiv:math/0509083 Khovanov proposed a generalization of homological algebra, called Hopfological algebra. Since then, several attempts have been made to import tools and techiniques from homological algebra to…

The (A)CGW categories of Campbell and Zakharevich show how finite sets and varieties behave like the objects of an exact category for the purpose of algebraic $K$-theory. These structures admit a well-behaved Q-construction akin to…

This article establishes, for an appropriate localisation of associative rings, a long exact sequence in algebraic K-theory. The main result goes as follows. Let A be an associative ring and let A-->B be the localisation with respect to a…

We introduce and study relatively divisible and relatively flat objects in exact categories in the sense of Quillen. For every relative cotorsion pair $(\mathcal{A},\mathcal{B})$ in an exact category $\mathcal{C}$, $\mathcal{A}$ coincides…

Building on the Waldhausen and Quillen models of higher algebraic $K$-theory for exact categories and Waldhausen categories attached to a non-commutative $n$-ary $\Ga$-semiring $(T,\Ga)$, we establish the fundamental formal properties of…

We prove a series of Approximation Theorems in the setting of Waldhausen quasicategories. These theorems, inspired by Waldhausen's 1985 Approximation Theorem, give sufficient conditions for an exact functor of Waldhausen quasicategories to…

We study a categorical construction called the cobordism category, which associates to each Waldhausen category a simplicial category of cospans. We prove that this construction is homotopy equivalent to Waldhausen's…

In this work, we revisit Auslander-Buchweitz Approximation Theory and find some relations with cotorsion pairs and model category structures. From the notions of relatives generators and cogenerators in Approximation Theory, we introduce…

We define model structures on exact categories which we call exact model structures. We look at the relationship between these model structures and cotorsion pairs on the exact category. In particular, when the underlying category is weakly…

We prove a conjecture of Rognes by establishing a localization cofiber sequence of spectra, K(Z) to K(ku) to K(KU) to Sigma K(Z), for the algebraic K-theory of topological K-theory. We deduce the existence of this sequence as a consequence…

We present a quick approach to computing the $K$-theory of the category of locally compact modules over any order in a semisimple $\mathbb{Q}$-algebra. We obtain the $K$-theory by first quotienting out the compact modules and subsequently…

Let A and B be abelian categories with enough projective and injective objects, and T : A-B a left exact additive functor. Then one has a comma category (B*T). It is shown that If T : A-B is X-exact, then (*X, X) is a (hereditary) cotorsion…