Экспоненциальный объект
- Экспоненциальный объект в категории – это объект, который имеет все бинарные продукты с другим объектом.
- Экспоненциальный объект определяется через уникальный морфизм, который связывает его с объектом, умноженным на другой объект.
- Альтернативное определение экспоненциального объекта может быть дано через уравнения.
- Экспоненциальный объект задается универсальным морфизмом из функтора произведения к объекту.
- Примеры экспоненциальных объектов включают совокупность всех функций от одного объекта к другому в категории множеств.
- В категории топологических пространств экспоненциальный объект существует при определенных условиях.
- В функциональных языках программирования морфизм оценки часто называется применять, а синтаксис лямбда-g часто пишется как карри (g).
Полный текст статьи: