exponential object

categorical generalization of a function space in set theory

Categorie: