Закрытая категория
Закрытая категория Определение закрытой категории Закрытая категория — это категория с внутренним функтором Hom и неподвижным объектом I. Функтор Hom […]
Вики
Closed categories
Вики
*-автономная категория
* — автономная категория Определение и свойства *-автономных категорий *-автономные категории — это категории с дуализирующим объектом, который является моноидальным.
Вики
Компактная закрытая категория
Компактная закрытая категория Моноидальные замкнутые категории являются частным случаем симметричных автономных категорий. Компактные замкнутые категории являются симметричными автономными категориями. Примеры
Вики
Замкнутая моноидальная категория
Замкнутая моноидальная категория Закрытая моноидальная категория — моноидальная категория с дополнительным свойством тензоризации. Симметричная замкнутая моноидальная категория — замкнутая категория,
Вики
Декартова закрытая категория
Декартова замкнутая категория Декартова замкнутая категория — категория с замкнутыми обратными связями и изоморфизмом между произведениями. Функциональный уровень программирования может