The story
Blend of Frobenius + monoid, since certain Frobenius morphisms between Frobenioids are analogues of the usual Frobenius morphism.
Etymology from Wiktionary, CC BY-SA 4.0.
Frobenioid
Today it means: A category with some extra structure that generalizes the theory of line bundles on models of finite extensions of global fields. Full definition →