предположении об ассоциативности. Это касается теории идеалов, понятий регулярности, морфизмов, конгруэнций и многих других конструкций. Когда структура неассоциативная, почти вся эта классическая техника либо перестаёт работать, либо даёт сильно вырожденные результаты. В то же время принято считать, что фундамент всей алгебры в конечном счёте опирается на теорию множеств. Однако и сама теория множеств, и построенная на ней алгебра в значительной степени используют ассоциативные структуры как базовый рабочий инструмент. Это создаёт определённую слепую зону: неассоциативные алгебры остаются заметно...