Метод вербальных операций и автоморфизмы категории свободных алгебр

Пусть задано произвольное многообразие алгебр и категория всех свободных конечно порождённых алгебр из этого многообразия. Эта работа является второй в серии (см. [Алгебра и логика, 61, № 1 (2022), 3—22]), где изучаются автоморфизмы категории свободных конечно порождённых алгебр. Здесь подробно излагается метод вербальных операций. Этот метод даёт описание автоморфизмов категории всех свободных конечно порождённых алгебр данного многообразия. Это описание играет важную роль в универсальной алгебраической геометрии. В заключение предлагаются примеры, поясняющие метод.