Exponential object

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 (but note that the term "power object" means something different in topos theory, analogous to "power set"; see power set for a simplified explanation).