Preliminaries
摘要
All rings considered in this book have an identity element; all ring homomorphisms map the identity element to the identity element. We mostly consider commutative rings, and rings are assumed to be commutative unless stated otherwise; in particular, when we take a ringed topos (X, A), the ring A is assumed to be commutative unless stated otherwise.