Не говоришь ли ты, что повсюду есть дву- (или более) мерные TFT, а одномерных нигде нет? Для простого человека из алгебры это не так -- первым делом есть ДГ категория, взяв любую образующую получаем ассоциативную некоммутативную ДГА (или даже не беря образующую -- сама категория "алгебра с несколькими объектами"). Если она еще и коммутативна, то это происходит от дополнительных причин (структур).
Все так, но все же CDG-алгебру таким способом не получишь. Там важная конструкция в другую сторону -- по CDG-алгебре строится DG-категория. Но ни естественной образующей, ни забывающего функтора в категорию комплексов (который мог бы быть представим такой образующей) у этой DG-категории нет.
(no subject)
Date: 2008-12-23 09:46 am (UTC)(no subject)
Date: 2008-12-25 07:50 pm (UTC)