Definition
Let C be a category with binary products and let Y and Z be objects of C. The exponential object ZY can be defined as a universal morphism from the functor –×Y to Z. (The functor –×Y from C to C maps objects X to X×Y and morphisms φ to φ×idY).
Explicitly, the definition is as follows. An object ZY, together with a morphism
is an exponential object if for any object X and morphism g : (X×Y) → Z there is a unique morphism
such that the following diagram commutes:
If the exponential object ZY exists for all objects Z in C, then the functor which sends Z to ZY is a right adjoint to the functor –×Y. In this case we have a natural bijection between the hom-sets
(Note: In functional programming languages, the morphism eval is often called apply, and the syntax is often written curry(g). The morphism eval here must not to be confused with the eval function in some programming languages, which evaluates quoted expressions.)
The morphisms and are sometimes said to be exponential adjoints of one another.
Read more about this topic: Exponential Object
Famous quotes containing the word definition:
“It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.””
—Jane Adams (20th century)
“The definition of good prose is proper words in their proper places; of good verse, the most proper words in their proper places. The propriety is in either case relative. The words in prose ought to express the intended meaning, and no more; if they attract attention to themselves, it is, in general, a fault.”
—Samuel Taylor Coleridge (1772–1834)
“I’m beginning to think that the proper definition of “Man” is “an animal that writes letters.””
—Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)