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.