Теория Ловера

Теория Лоуверов Определение теории Лоуверов Теория Лоуверов — это категориальный аналог эквациональной теории.  Категория L состоит из конечных произведений и […]

Теория Лоуверов

  • Определение теории Лоуверов

    • Теория Лоуверов — это категориальный аналог эквациональной теории. 
    • Категория L состоит из конечных произведений и функтора тождества объектов. 
  • Модель теории Лоуверов

    • Моделью теории Лоуверов является функтор, сохраняющий конечное произведение. 
  • Морфизмы моделей

    • Морфизм моделей — это естественное преобразование функторов. 
  • Категория юридических теорий

    • Отображение между теориями Лоуверов образует категорию Закона. 
  • Вариации теории Лоуверов

    • Включает многосортную, бесконечностную и теорию конечных продуктов. 
  • Рекомендации и примечания

    • Ссылки на другие статьи и ресурсы, а также настройки форматирования для HTML-кода. 

Полный текст статьи:

Теория Ловера — Википедия

Оставьте комментарий

Прокрутить вверх