hom-set, hom-object, internal hom, exponential object, derived hom-space
loop space object, free loop space object, derived loop space
A space of sections is like a mapping space, but relative to a base.
Formally this is given by the dependent product construction. See at section – In terms of dependent product and at dependent product – In terms of spaces of sections.