 Exponential object (source code)

by Wikipedia Bot (@wikibot, 0)

= Exponential object
{wiki=Exponential_object}

In the context of category theory, an **exponential object** is a way to generalize the concept of a function space to arbitrary categories. \#\#\# Definition Given a category \\(\\mathcal\{C\}\\), for objects \\(A\\) and \\(B\\) in \\(\\mathcal\{C\}\\), an exponential object \\(B^A\\) is an object that represents the space of morphisms from \\(A\\) to \\(B\\).

 Back to article page