“…Additive iterated and infinite loop space theory This includes operads, the two-sided bar construction of monads, iterated and infinite loop space theory via operads [7], [12], [18], [28], [29], homology of iterated and infinite loop spaces [11], [17], [39] the work on classifying spaces and fibrations [15], on spectra associated with permutative categories [13], [23], and the joint work of May and Thomason on uniqueness of infinite loop space machines [22], [32].…”