We survey results on algebraic models for the rational homotopy type of the path-components of a function space. Results here include models for the general component, the free loop space and the space of self-equivalences. We then discuss recent work on modeling grouplike function space. We discuss applications of the latter work to the classification of gauge groups of principal bundles and to the study of the group of unitaries of a C*-algebra.