Máquina espacial de bucle infinito

En topología, una rama de las matemáticas, dado un monoide topológico X salvo homotopía (de una manera elegante), una máquina de espacio de bucles infinitos produce una completación de grupo de X junto con una estructura de espacio de bucles infinitos . Por ejemplo, se puede tomar X como el espacio clasificador de una categoría monoidal simétrica S ; es decir,${\displaystyle X=BS}$Luego, la máquina produce la finalización del grupo.${\displaystyle BS\to K(S)}$El espacio${\displaystyle K(S)}$puede describirse mediante el espectro de la teoría K de S.

En 1977, Robert Thomason demostró la equivalencia de todas las máquinas espaciales de bucles infinitos ^{[ 1 ]} (tenía solo 25 años en ese momento). Publicó este resultado al año siguiente en un artículo conjunto con Jon Peter May .

• JP May y R. Thomason La singularidad de las máquinas espaciales de bucle infinito