Теория Ловера
В теории категорий теория Лоувера ( названная в честь американского математика Уильяма Лоувера ) является категорией , которую можно считать категориальным аналогом понятия эквациональной теории.
https://en.wikipedia.org/wiki/Lawvere_theory
https://en.wikipedia.org/wiki/Universal_algebra
https://en.wikipedia.org/wiki/Term_algebra
https://en.wikipedia.org/wiki/Graph_algebra
https://en.wikipedia.org/wiki/Universal_algebraic_geometry
---
Лупанов О.Б. (ред.) Кибернетический сборник. Новая серия. Выпуск 21
ЗИКМАНН, САБО. Универсальная унификация и классификация эквациональных теорий. стр.213
https://www.studmed.ru/lupanov-ob-red-kiberneticheskiy-sbornik-novaya-seriya-vypusk-21_6d0db7ebc87.html
Унификация двух термов относительно теории Т равносильна решению уравнения в этой теории. Следует отметить, что математические исследования, посвященные решению уравнений в известных теориях, имеют столь же давнюю историю, как и сама математика. Эти исследования восходят к вавилонской математике (примерно 2000 лет до нашей эры) и продолжают оставаться в центре внимания математиков вплоть до сегодняшнего дня.
Универсальная унификация переносит эту деятельность на более абстрактный уровень: точно так же, как универсальная алгебра абстрагируется от определенных свойств, присущих конкретным алгебрам, и занимается исследованием черт, общих для всех алгебр, универсальная унификация обращается к вопросам, типичным именно для решения уравнений как таковых.