Topic: algebraic geometry
Kenny Lau (May 26 2019 at 22:34):
I recently noticed the file
algebraic_geometry; what is the planned development of this folder?
Johan Commelin (May 27 2019 at 06:09):
The plan is to get schemes into mathlib.
Kevin Buzzard (May 27 2019 at 06:10):
With or without the category theory approach to sheaves?
Johan Commelin (May 27 2019 at 06:28):
At least with the category theory approach to presheaves
Last updated: Aug 03 2023 at 10:10 UTC