Трехлетней давности байка про A-бесконечность алгебры с кривизной

Доехала теперь уже и до MathOverflow -- http://mathoverflow.net/questions/86821/homotopic-morphisms-between-curved-a-infinity-algebras

И даже -зубы- примеры есть у меня!

Шестая глава в основном написана -- http://positselski.narod.ru/curved-a-infty.ps.gz

Хотя подраздел про трансформации тензорных операций при кошулевой двойственности, пожалуй что, и не помешал бы (особенно Ext со значениями в гомотопической категории свободных R-контрамодулей, а не абы что). Но не все сразу.