エタール基本群
Bhatt & Scholze (2015, §7) はpro-étale基本群と呼ばれるエタール基本群の変形版を導入した。これは有限エタール被覆の代わりにエタールかつ固有性の付値判定法を満たす射を考えることで構築される。正規スキームなどの幾何的単枝スキーム(geometrically unibranch scheme)に対してはこの2つのアプローチは一致する。しかし一般にはpro-étale基本群はよりよい不変量である。その副有限完備化はエタール基本群になる。