Motivation and historical survey -- Topological-algebraic theories -- The bar construction for theories -- Homotopy homomorphisms -- Structures on based spaces -- Iterated loop spaces and actions on classifying spaces -- Homotopy colimits