Etymology
Today it means: A nonassociative generalization of a groupoid Full definition →
Blend of loop + groupoid.
Etymology from Wiktionary, CC BY-SA 4.0.