Алгебраическая $K$-теория больших категорий

Будет дано определение (принадлежащее докладчику) непрерывной алгебраической $K$-теории для некоторого класса больших триангулированных категорий. Я расскажу о результатах и гипотезах, связанных с ее вычислением: для категорий пучков на локально компактных пространствах, а также для недавно построенной (Клаузеном и Шольце) категории ядерных модулей на формальной схеме.