相关论文: Real K-theory for Waldhausen infinity categories w…

We prove an equivalence between the real $K$-theory genuine $C_2$-spectra of Calm\`es et al. for Poincar\'e $\infty$-categories and the one of the authors of this work for Waldhausen $\infty$-categories with genuine duality.

Utilizing simplicial Waldhausen theory, we prove that the geometric realization of the topologized category of bounded chain complexes over complex numbers (resp. real numbers) is an infinite loop space that represents connective complex…

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,…

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…

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…

In this paper we introduce and study the so-called continuous $K$-theory for a certain class of "large" stable $\infty$-categories, more precisely, for dualizable presentable categories. For compactly generated categories, the continuous…

In this note we show that Waldhausen's K-theory functor from Waldhausen categories to spaces has a universal property: It is the target of the "universal global Euler characteristic", in other words, the "additivization" of the functor…

The multipullback quantization of complex projective spaces lacks the naive quantum CW-complex structure because the quantization of an embedding of the $n$-skeleton into the $(n+1)$-skeleton does not exist. To overcome this difficulty, we…

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…

We provide a fairly self-contained account of the localisation and cofinality theorems for the algebraic $\mathrm{K}$-theory of stable $\infty$-categories. It is based on a general formula for the evaluation of an additive functor on a…

KK-theory is a bivariant and homotopy-invariant functor on $C^*$-algebras that combines K-theory and K-homology. KK-groups form the morphisms in a triangulated category. Spanier-Whitehead K-Duality intertwines the homological with the…

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…

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…

Assuming the classical Farrell-Jones conjecture we produce an explicit (commutative) group ring $R$ and a thick subcategory $\mathsf{C}$ of perfect $R$-complexes such that the Waldhausen $K$-theory space $\mathrm{K}(\mathsf{C})$ is…

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…

This note is an expository contribution for a proceedings volume of the workshop "Higher Segal Spaces and their Applications to Algebraic K-theory, Hall Algebras, and Combinatorics". We survey various versions of Waldhausen's S-construction…

To any left system of diagram categories or to any left pointed derivateur (in the sense of Grothendieck) a K-theory space is associated. This K-theory space is shown to be canonically an infinite loop space and to have a lot of common…

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…

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 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…