In algebraic topology, **homotopy theory** is the study of homotopy groups; and more generally of the category of topological spaces and homotopy classes of continuous mappings. At an intuitive level, a homotopy class is a connected component of a function space. The actual definition uses paths of functions.