Аддитивные инварианты и спуск

Я расскажу — вернее, попытаюсь рассказать — о некотором способе выражать аддитивные инварианты Hom-конечных DG категорий через аналогичные инварианты конечномерных ассоциативных алгебр. Под “аддитивными инвариантами” здесь я понимаю с одной стороны, К-теорию, а с другой стороны, хохшильдовские гомологии. Тем самым появляется способ выводить разнообразные утверждения о связи K-теории и хохшильдовских гомологий для DG категорий из аналогичных утверждений для конечномерных алгебр — каковые утверждения чаще всего тривиальны. Материал это новый и довольно сырой, за что приношу свои извинения.