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

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