2012-12-08 スキーム math スキームは，可換環に集合を対応させるもの（関手）にさらにいくつかの条件を課したもの． 例． （表現可能共変関手）可換環 A に対し， これをアファイン・スキームという． 2つめの例は によって表現可能． （1つめも，行列式をかけると1になる変数を導入すれば表現可能．） スキームは，アファイン・スキームをはりあわせたもの（colimit）． 米田埋め込みにおいて colimit をとったらすべての前層ができてしまう．そこでアファイン・スキームの圏を環つき空間の圏に埋め込んで colimit をとる．
