Semistability and infinite loop spaces
A pointed homotopy theory is said to be left semistable if the functor \(\Omega\Sigma\) is isomorphic to the identity. Then one has a common proper definition of infinite loop space. The uniqueness of infinite loop space machines is then a consequence of an universal property for geometric homotopy theories.
scientific article; zbMATH DE number 1538806