The classical infinite loopspace machines in fact induce an equivalence of categories between a localization of the category of symmetric monoidal categories and the stable homotopy category of -1-connective spectra.
Keywords: club, connective spectrum, E1space, operad, lax algebra, spectrum, stable homotopy, symmetric monoidal.
AMS Classification (1991): Primary: 55P42 Secondary: 18C15, 18D05, 18D10, 19D23, 55P47.
Theory and Applications of Categories, Vol. 1, 1995, No. 5, pp 78-118.
http://www.tac.mta.ca/tac/volumes/1995/n5/v1n5.dvi
http://www.tac.mta.ca/tac/volumes/1995/n5/v1n5.ps
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/1995/n5/v1n5.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/1995/n5/v1n5.ps