What Thom's construction could mean, algebraically.
Finally had an argument that I'm happy with
A short cautionary tale. Stabilisation, localisation or group completion.
A classical lemma used to construct k-invariants, and its relation to group extensions