Еще одна странная А_бесконечность-теория

[posic]

Будем рассматривать А_бесконечность алгебры с кривизной, заданные последовательностями умножений m_i для i=0, 1, 2, ..., такими что m_i=0 для достаточно большого i (зависящего от A_бесконечность-алгебры). Отображение m_0 есть кривизна. Для таких A_бесконечность-алгебр с кривизной имеет смысл говорить об A_бесконечность-морфизмах с заменой связности, т.е. заданных последовательностью отображений f_i для i=0, 1, ..., такими что f_i=0 для достаточно большого i (зависящего от морфизма). Отображение f_0 есть замена связности. Далее, можно рассматривать А_бесконечность-модули и их А_бесконечность-морфизмы, удовлетворяющее аналогичному условию обрыва высших операций. Все это можно интерпретировать в терминах топологической коалгебры, равной прямому произведению всех тензорных степеней пространства A[1].