This is the first of a series of papers devoted to the study of iterated loop spaces. Our goal is to develop a simple and coherent theory which encompasses most of the known results about such spaces. We begin with some history and a description of the desiderata of such a theory.