体Kを係数域とする多項式環を K[x] と書く。不定元xの名前は問題ではない。K K[x] という対応は、Pol1:Field→CRng という関手となる。Fieldの射は体の拡大だと思ってよいので、K⊆L に対して、Pol1(K⊆L):K[x]→L[x] in CRng は、係数拡大に伴う環の埋め込み操…

スピヴァック・モデルは、基本的に正しいのだが、アンビエント圏にSetを使っていたのが無理があったと思う。アンビエント圏にRelを使うべきだった。次の道具を使うべきだ。 2-圏としての関係圏 s2Rel 2-圏としてのスキーマ〈指標〉の圏、2-射は関係のあいだ…