Теория Лоуверов
-
Определение теории Лоуверов
- Теория Лоуверов — это категориальный аналог эквациональной теории.
- Категория L состоит из конечных произведений и функтора тождества объектов.
-
Модель теории Лоуверов
- Моделью теории Лоуверов является функтор, сохраняющий конечное произведение.
-
Морфизмы моделей
- Морфизм моделей — это естественное преобразование функторов.
-
Категория юридических теорий
- Отображение между теориями Лоуверов образует категорию Закона.
-
Вариации теории Лоуверов
- Включает многосортную, бесконечностную и теорию конечных продуктов.
-
Рекомендации и примечания
- Ссылки на другие статьи и ресурсы, а также настройки форматирования для HTML-кода.
Полный текст статьи: