Loops (aka quasigroups with identity):
It was at this point that the terminology of quasigroup theory underwent a historic change. It became apparent that it was necessary to distinguish between two classes of quasigroups: those with and those without an identity element. A new name was needed to designate the system with identity. This occurred around 1942, among people of Albert’s circle in Chicago, who coined the word “loop” after the Chicago Loop. For Chicago locals, the term “Loop” designated the main business area and the elevated train that literally made a loop around this part of the city.
(taken from Historical notes on loop theory, by Hala Orlik Pflugfelder)
