フロベニオイド
フロベニオイドは、圏Cと初等フロベニオイドへの関手で構成され、大域体のモデルの直線束と除数の動作に関連するいくつかの複雑な条件を満たす。望月の基本定理の1つは、さまざまな条件下で圏Cからフロベニオイドを再構築できると述べている。