備考
これらの文書を執筆する際の規約についての方針は、実際にうまく機能する規約を 選ぶ、というものである。
集合論
選択公理を伴う Zermelo–Fraenkel 集合論を用いる。[Kunen] を参照されたい。 宇宙は用いない(この点は SGA4 と異なる)。集合論上の問題を強調することは しないが、すべてが(もちろん)正しいことは確認しており、したがってそれらを 無視するわけでもない。
圏
圏 \(\mathcal{C}\) は対象の集合と、対象の各対に対して与えられる、その間の射の 集合とからなる。言い換えれば、他の文献で「小さい」圏と呼ばれるものである。 「大きな」圏(対象が真の類をなす圏)も用いるが、それは『圏』注記 0015 に列挙されたものに限る。
代数
本書では、環とは単位元 \(1\) をもつ可換環をいう。したがって環の圏は始対象 \(\mathbf{Z}\) と終対象 \(\{0\}\) をもつ(後者は \(1 = 0\) となる唯一の環である)。 加群は単位的であると仮定する。[Eisenbud] を参照されたい。
記法
自然数は \(\mathbf{N} = \{1, 2, 3, \ldots\}\) の元とする。 整数は \(\mathbf{Z} = \{\ldots, -2, -1, 0, 1, 2, \ldots\}\) の元とする。 有理数体を \(\mathbf{Q}\) で表す。 実数体を \(\mathbf{R}\) で表す。 複素数体を \(\mathbf{C}\) で表す。