Sh(Sch,Zar) = Sh(Aff,Zar)

Stream: Is there code for X?

[Kenny Lau]

Do we know that sheaves on schemes (with Zariski topology) are equivalent to sheaves on affines (with Zariski topology)?

[Kenny Lau]

it seems like we don't even have the Zariski topology on affines

[Joël Riou]

We do not have this yet. In the future, it shall be a consequence of #19444.

[Joël Riou]

Actually, it may also require the new approach to sheafification that is being developed by @Christian Merten.

[Andrew Yang]

For the small zariski site this is docs#AlgebraicGeometry.Scheme.AffineZariskiSite.sheafEquiv