e/Exponential object

Information
has gloss	eng: In mathematics, specifically in category theory, an exponential object is the categorical equivalent of a function space in set theory. Categories with all finite products and exponential objects are called cartesian closed categories. An exponential object may also be called a power object or map object.
lexicalization	eng: exponential object
lexicalization	eng: Power object
instance of	c/Objects (category theory)

Meaning
Russian
has gloss	rus: Определение Экспоненциал Z^Y объектов Z и Y — это такой объект, вместе с морфизмом eval\colon Z^y\times Y \to Z, называемым отображением оценки, что для любого объекта X и морфизма g\colon X\times Y \to Z существует единственный морфизм \lambda g\colon X\to Z^Y, для которого следующая диаграмма коммутативна:
lexicalization	rus: Экспоненциал

Media
media:img	ExponentialObject-01.png