Infinite loop rymdmaskin

Inom topologi, en gren av matematiken, givet en topologisk monoid X upp till homotopi (på ett trevligt sätt), producerar en oändlig loop rymdmaskin en gruppkomplettering av X tillsammans med infinite loop space struktur. Till exempel kan man ta X för att vara klassificeringsutrymmet för en symmetrisk monoidal kategori S ; det vill säga $X=BS$ . Sedan producerar maskinen gruppkompletteringen $BS\to K(S)$ . Mellanrummet $K(S)$ kan beskrivas av K-teorispektrumet för S .

• Maj, Det unika med oändlig loop rymdmaskin