# Commit 2020-08-31 05:09 b79fc037

View on Github →feature(algebraic_geometry/Scheme): the category of schemes (#3961)
The definition of a `Scheme`

, and the category of schemes as the full subcategory of locally ringed spaces.

Mathlib v3 is deprecated. Go to Mathlib v4

feature(algebraic_geometry/Scheme): the category of schemes (#3961)
The definition of a `Scheme`

, and the category of schemes as the full subcategory of locally ringed spaces.