代数幾何学
微分幾何学で私たちがすることのようにする、しかしながら、圧倒的にアフィン多様体と局所的に似ていること更に多項式的な地図の(座標)変換における、位相空間のようなものである私たちの大域的な対象の定義を私たちはし辛くさせられる。しかしながら層におけるこれらの、私たちが選んだところの見方でのこの論点ではそうでない。私たちは、環 A j {\displaystyle A_{j}} のいくつかのスペクトルに同型な、導かれた層を備えたところの、開いた U i {\displaystyle U_{i}} における被覆を許す局所環における環付き空間(仏: espace annelé )全体をそのとき概型と呼ぶ。概型の間の同型は何も局所環における環付き空間の同型とは別のものでない。