| Exponential Object |
Article Index for Exponential |
Website Links For Object |
Information AboutExponential Object |
| CATEGORIES ABOUT EXPONENTIAL OBJECT | |
| objects category theory | |
|
DEFINITION 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 : 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 ''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-set s : EXAMPLES In the Category Of Sets , the exponential object is the set of all functions from to . The map is just the evaluation map which sends the pair (''f'', ''y'') to ''f''(''y''). For any map the map is the Curried form of : : 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'' exists, but fails to be an exponential object because the adjunction with the product only holds when ''Y'' is locally compact Hausdorff). For this reason the category of topological spaces fails to be cartesian closed. SEE ALSO REFERENCES |
|
|