Added to Favorites

Related Searches

Definitions

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.

Let C be a category with binary products and let Y and Z be objects of C. The exponential object Z^{Y} 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 φ×id_{Y}).

Explicitly, the definition is as follows. An object Z^{Y}, together with a morphism

- $mathrm\{eval\}colon\; (Z^Y\; times\; Y)\; rightarrow\; Z,$

is an exponential object if for any object X and morphism g : (X×Y) → Z there is a unique morphism

- $lambda\; gcolon\; Xto\; Z^Y,$

such that the following diagram commutes:

If the exponential object Z^{Y} exists for all objects Z in C, then the functor which sends Z to Z^{Y} is a right adjoint to the functor –×Y. In this case we have a natural bijection between the hom-sets

- $mathrm\{Hom\}(Xtimes\; Y,Z)\; cong\; mathrm\{Hom\}(X,Z^Y).$

(Note: In functional programming languages, the morphism eval is often called apply, and the syntax $lambda\; g$ 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.)

In the category of sets, the exponential object $Z^Y$ is the set of all functions from $Y$ to $Z$. The map $mathrm\{eval\}colon\; (Z^Y\; times\; Y)\; to\; Z$ is just the evaluation map which sends the pair (f, y) to f(y). For any map $gcolon\; (X\; times\; Y)\; rightarrow\; Z$ the map $lambda\; gcolon\; Xto\; Z^Y$ is the curried form of $g$:

- $lambda\; g(x)(y)\; =\; g(x,y).,$

In the category of topological spaces, the exponential object Z^{Y} exists provided that Y is a locally compact Hausdorff space. In that case, the space Z^{Y} is the set of all continuous functions from Y to Z together with the compact-open topology. The evaluation map is the same as in the category of sets. If Y is not locally compact Hausdorff, the exponential object may not exist (the space Z^{Y} still exists, but it may fail to be an exponential object since the evaluation function need not be continuous). For this reason the category of topological spaces fails to be cartesian closed.

- Adámek, Jiří; Horst Herrlich, George Strecker (2006). Abstract and Concrete Categories (The Joy of Cats).

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)

This article is licensed under the GNU Free Documentation License.

Last updated on Tuesday December 18, 2007 at 10:33:10 PST (GMT -0800)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

This article is licensed under the GNU Free Documentation License.

Last updated on Tuesday December 18, 2007 at 10:33:10 PST (GMT -0800)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Copyright © 2014 Dictionary.com, LLC. All rights reserved.