無限ループ宇宙マシン

数学の一分野である位相幾何学では、ホモトピーまでの位相モノイドXが与えられると(良い意味で)、無限ループ空間マシンはXの群完備化と無限ループ空間構造を生成します。たとえば、X を対称モノイドカテゴリSの分類空間とすることができます。つまり、 です。すると、マシンは群完備化 を生成します。この空間は、SのK 理論スペクトルによって記述できます。 ${\displaystyle X=BS}$${\displaystyle BS\to K(S)}$${\displaystyle K(S)}$

1977年、ロバート・トーマソンはすべての無限ループ空間マシンの等価性を証明しました^[1]（当時彼は25歳でした）。彼は翌年、ジョン・ピーター・メイとの共同論文でこの結果を発表しました。

• JP メイと R. トーマスン 無限ループ空間マシンのユニークさ