exponential object

Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License

n. Given objects Y and Z, the exponential object is uniquely defined by the following universal property: for any object X with arrow , there can always be constructed an arrow which induces an arrow , which is unique in satisfying where .