Zulip Chat Archive
Stream: general
Topic: algebraic geometry
Kenny Lau (May 26 2019 at 22:34):
I recently noticed the file presheafed_space in 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: Dec 20 2023 at 11:08 UTC