Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0DEN

Go back to the tag's page.

type time link
changed the proof 2020-12-12 94d9102
Actually use the new lemmas correctly
changed the proof 2017-08-05 0f88016
Final fallout error fixed in f6e7e84c

This is quite annoying, but the original argument relied on the
erroneous lemma from the commit given above...

Question: Is it actually just true that the pullback of a K-flat complex
along a morphism of ringed topoi is K-flat? Seems to me this is possibly
true but I don't immediately see how to prove it.

Also, it does not seem terribly important.
assigned tag 0DEN 2017-03-16 0a38c13
Tags: Added new tags
created statement with label lemma-check-K-flat-stalks in sites-cohomology.tex 2017-03-16 5e0f348
K-flat = stalks K-flat

in the case there are enough points