無限ループ宇宙機械

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

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

参考文献

1. チャールズ・ワイベル、「ロバート・W・トーマソン 1952--1995」、AMSの通知、1996年、第43巻、第8号

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