History of Loops

I came across this history of loops, a generalization of groups, where I picked up this interesting tidbit: loops are named after the Chicago Loop, the central business district of Chicago. (The elevated trains tracks form a loop that enclose it.)