Много готических букв

Доказательство основной теоремы о слабо искривленных дифференциально-градуированных модулях (свободных над кольцом коэффициентов), в общем-то, написано -- http://positselski.narod.ru/curved-a-infty.ps

Предстоят еще косвободные над кольцом коэффициентов модули, свободные и косвободные контрамодули и комодули, несвободные и некосвободные модули, контрамодули и комодули. А также кошулева двойственность и компактная порожденность. Ну, и еще стриктификацию единиц придумать надо.