Etymology
Today it means: A nonassociative generalization of a semigroupoid Full definition →
From semi- + loopoid.
Etymology from Wiktionary, CC BY-SA 4.0.