exponential object
categorical generalization of a function space in set theory
function space
set of functions of a given kind from a set X to a set Y; it is called a space because in many applications it is a topological space (including metric spaces), a vector space, or both
loop space
space of maps from a circle