algebraic topology – application of higher algebra and higher category theory to the study of (stable) homotopy theory
A generalization of Waldhausen K-theory to dualizable dg-categories and dualizable stable ∞-categories.
For compactly generated inputs, recovers the Waldhausen K-theory of the full subcategory of compact objects.
The formalism is applicable to -presentable stable ∞-categories, where can be uncountable (for example, various categories of sheaves, or categories occurring in functional analysis).
Alexander Efimov, On the K-theory of large triangulated categories, ICM 2022 [video: YT]
Marc Hoyois, K-theory of dualizable categories (after A. Efimov) [pdf]
Achim Krause, Thomas Nikolaus, Sheaves on manifolds (2024) [pdf, pdf]
Last revised on March 21, 2024 at 17:34:07. See the history of this page for a list of all contributions to it.