Definition from Wiktionary, the free dictionary
- (category theory) A categorical object which generalizes its interpretation in category Set; namely, as a function set. An exponential may be introduced through the "currying" inference rule and eliminated through the "function application" ("eval") rule .
- ^ ncatlab.org's article on function set (Revision 237)
- Jeltsch, Wolfgang (2012). An Introduction to Category Theory and Categorical Logic, slide 20.