Infinite loop space machine
Appearance
In topology, a branch of mathematics, given a topological monoid up to homotopy (in a nice way), an infinite loop space machine produces a group completion of X together with infinite loop space structure.