Терминологическое
Пора уже придумать какой-то сокращенный термин или аббревиатуру для обозначения "искривленных DG-алгебр над локальным кольцом коэффициентов с элементом кривизны, делящимся на максимальный идеал локального кольца".
Я пока что склоняюсь к тому, чтобы называть их weakly curved differential graded algebras, WCDG-algebras. Тогда можно говорить, что теории (производные функторы, производные категории) первого рода имеют смысл в слабо искривленном, но не в сильно искривленном случае, и т.п. А слабо искривленные A∞-алгебры можно тогда называть WC A∞-алгебрами или что-то в этом роде.
Неблагозвучно немного, правда. Но мне кажется, это неважно.
Я пока что склоняюсь к тому, чтобы называть их weakly curved differential graded algebras, WCDG-algebras. Тогда можно говорить, что теории (производные функторы, производные категории) первого рода имеют смысл в слабо искривленном, но не в сильно искривленном случае, и т.п. А слабо искривленные A∞-алгебры можно тогда называть WC A∞-алгебрами или что-то в этом роде.
Неблагозвучно немного, правда. Но мне кажется, это неважно.
