무한 루프 공간 머신
Infinite loop space machine수학의 한 분야인 위상에서는 위상학적 단면 X에서 호모토피(멋진 방법으로)까지 주어지는 무한 루프 공간 기계는 무한 루프 공간 구조와 함께 X의 그룹 완성을 만들어 낸다.For example, one can take X to be the classifying space of a symmetric monoidal category S; that is, . Then the machine produces the group completion . The space may be described by the K-theory spectrum of S.