# exponential object

Definition from Wiktionary, the free dictionary

## English[edit]

### Noun[edit]

**exponential object** (*plural* **exponential objects**)

- (category theory) A categorical object which generalizes its interpretation in category
**Set**; namely, as a function set^{[1]}. An exponential may be introduced through the "currying" inference rule^{[2]}and eliminated through the "function application" ("eval") rule^{[2]}.

### References[edit]

- ^ ncatlab.org's article on
*function set*(Revision 237) - ↑
^{2.0}^{2.1}Jeltsch, Wolfgang (2012).*An Introduction to Category Theory and Categorical Logic*, slide 20.