Random Issue Bot (Apr 22 2021 at 14:24):
Today I chose issue 1142 for discussion!
Created by @Kevin Buzzard (@kbuzzard) on 2019-06-21
Labels: feature-request, long term
Is this issue still relevant? Any recent updates? Anyone making progress?
Kevin Buzzard (Apr 22 2021 at 14:40):
This will happen, in time. Right now I've realised that there are actually two distinct things going on here: first we need some commutative algebra, plus its application to scheme theory, and then essentially independent of that we need some homological algebra, which is being actively worked on right now by Scott and Markus.
Last updated: Jun 20 2021 at 00:35 UTC