Все так, но все же CDG-алгебру таким способом не получишь. Там важная конструкция в другую сторону -- по CDG-алгебре строится DG-категория. Но ни естественной образующей, ни забывающего функтора в категорию комплексов (который мог бы быть представим такой образующей) у этой DG-категории нет.
(no subject)
Date: 2008-12-25 07:50 pm (UTC)