nLab Efimov K-theory

Contents

Contents

Idea

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).

References

Last revised on March 21, 2024 at 17:34:07. See the history of this page for a list of all contributions to it.