Космическая машина с бесконечным циклом

В топологии, разделе математики, при наличии топологического моноида X с точностью до гомотопии (в хорошем смысле) машина пространства бесконечных петель производит групповое пополнение X вместе со структурой пространства бесконечных петель . Например, можно взять X в качестве классифицирующего пространства симметричной моноидальной категории S ; то есть, $X=BS$ . Затем машина производит групповое завершение $BS\to K(S)$ . Пространство $K(S)$ может быть описан спектром K- S теории .

В 1977 году Роберт Томасон доказалэквивалентность всех космических машин с бесконечным циклом ^[1] (на тот момент ему было всего 25 лет.) Он опубликовал этот результат в следующем году в совместной статье с Джоном Питером Мэем.