En topología, una rama de las matemáticas, dado un monoide topológico X hasta la homotopía (en un sentido agradable), una máquina de espacio de bucle infinito produce una compleción de grupo de X junto con una estructura de espacio de bucle infinito . Por ejemplo, se puede tomar X como el espacio de clasificación de una categoría monoidal simétrica S ; es decir, . Entonces la máquina produce la compleción de grupo . El espacio puede describirse mediante el espectro de la teoría K de S .
En 1977, Robert Thomason demostró la equivalencia de todas las máquinas de bucles infinitos [1] (en ese momento tenía sólo 25 años). Publicó este resultado al año siguiente en un artículo conjunto con John Peter May.