Википедия
Экспоненциал
В теории категорий экспоненциал — это категорный аналог множества функций в теории множеств . Категории, в которых существуют конечные пределы и экспоненциалы, называются декартово замкнутыми .