Related papers: Waldhausen Additivity: Classical and Quasicategori…

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…

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…

We prove that Waldhausen K-theory, when extended to a very general class of quasicategories, can be described as a Goodwillie differential. In particular, K-theory spaces admit canonical (connective) deloopings, and the K-theory functor…

We show that a complete hereditary cotorsion pair $(\C,\C^\bot)$ in an exact category $\E$, together with a subcategory $\Z\subseteq\E$ containing $\C^\bot$, determines a Waldhausen category structure on the exact category $\C$, in which…

We study the question of the existence of a Waldhausen category on any (relative) abelian category in which the contractible objects are the (relatively) projective objects. The associated $K$-theory groups are "stable algebraic…

Let $X$ be a simplicial set. We construct a novel adjunction between the categories of retractive spaces over $X$ and of $X_{+}$-comodules, then apply recent work on left-induced model category structures (arXiv:1401.3651v2…

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 decompose the K-theory space of a Waldhausen category in terms of its Dwyer-Kan simplicial localization. This leads to a criterion for functors to induce equivalences of K-theory spectra that generalizes and explains many of the criteria…

The additivity theorem for derivateurs associated to complicial biWaldhausen categories is proved. Also, to any exact category in the sense of Quillen a K-theory space is associated. This K-theory is shown to satisfy the additivity,…

Using methods inspired from algebraic $K$-theory, we give a new proof of the Genauer fibration sequence, relating the cobordism categories of closed manifolds with cobordism categories of manifolds with boundaries, and of the…

We prove the first equivalence between a weak non-algebraic model and a semi-strict algebraic model of $(\infty, n)$-categories. This takes the form of a natural semi-strictification, whereby a weak $(\infty, n)$-category is embedded into a…

We develop a new framework to study real $K$-theory in the context of $\infty$-categories. For this, we introduce Waldhausen $\infty$-categories with genuine duality, which will be the input for such $K$-theory. These are Waldhausen…

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…

In the companion paper~\cite{Gokavarapu_IJPA_2025}, we developed a classical algebraic K-theory for non-commutative $n$-ary $\Gamma$-semirings $(T,\Gamma)$ in terms of finitely generated projective $n$-ary $\Gamma$-modules and their…

A d\'evissage-type theorem in algebraic $K$-theory is a statement that identifies the $K$-theory of a Waldhausen category $\mathscr{C}$ in terms of the $K$-theories of a collection of Waldhausen subcategories of $\mathscr{C}$ when a…

We show that Klemenc's stable envelope of exact $\infty$-categories induces an equivalence between stable $\infty$-categories with a bounded heart structure and weakly idempotent complete exact $\infty$-categories. Moreover, we generalise…

Given a Grothendieck opfibration $p: \mathcal{T} \to \mathcal{B}$, we describe a method to construct a Waldhausen category structure on the total category $\mathcal{T}$ via combining Waldhausen category structures on the fibers…

Let $(\mathcal{E}, \mathbb{E}, \mathfrak{s})$ be an extriangulated category. Motivated by the theory of hereditary algebras, we introduce the notion of a hereditary-type subcategory $\mathcal{W}\subseteq \mathcal{E}$. We prove that the…

In this paper we establish a universal characterization of higher algebraic K-theory in the setting of small stable infinity categories. Specifically, we prove that connective algebraic K-theory is the universal additive invariant, i.e.,…

We give a small functorial algebraic model for the 2-stage Postnikov section of the K-theory spectrum of a Waldhausen category and use our presentation to describe the multiplicative structure with respect to biexact functors.