We will discuss loop spaces and infinite loop spaces, which play the roles of groups and abelian groups in homotopy theory. Infinite loop spaces in particular are of interest, as they correspond to (connective) cohomology theories. There are several approaches to the subject, and we will focus on that of G. Segal.