$K$-теория для фильтрованной производной категории

Известно, что $K^0$ от абелевой категории зависит только от ее производной, а для высших $K$-групп это не так (А. Нееман так долго и неправильно пытался восстановить высшие $K$-группы по производной категории, что кто-то в результате построил контрпример). Чтобы восстановить высшие $K$-группы, надо рассматривать производную категорию с некоторым оснащением. Однако похоже, что достаточно весьма слабого оснащения. Я расскажу, как восстановить всю $K$-теорию по так называемой «$f$-категории» – некоторой аксиоматизации понятия фильтрованной производной категории, введенной много лет назад и по другому поводу Бейлинсоном.