Anabelioidっつーのはただのガロイス圏のことでしゅ（いやマジで
Frobenioidはくっそ雑に言うと各対象にモノイドがくっ付いたガロイス圏モドキことでし

例えばXをnice varietyとしゅると
X上のゆーげんえたーるかばりんぐの圏はAnabelioidになってて
X上の直線束付き連結ゆーげんえたーるかばりんぐの圏はFrobenioidになってるでしゅ

通常の代数幾何学の範疇にある深くもなんともない概念でし
こんなのが普通の代数幾何学より深い圏とか言ってるやつはアフォーでし
AnabelioidとFrobenioidに関しては、モッチッチーはただ既存の概念たちを系統立てて整備をしただけでし