Экспоненциальный объект

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

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

Экспоненциальный объект — Википедия