nLab Efimov K-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 λ\lambda-presentable stable ∞-categories, where λ\lambda can be uncountable (for example, various categories of sheaves, or categories occurring in functional analysis).


Last revised on March 2, 2023 at 09:39:49. See the history of this page for a list of all contributions to it.