Definition 4.9.10.  Let u ∈ . We define:
Remarks.

The objects of this category are actually isomorphism classes of rings.

References.