History of tag 0BMP
Go back to the tag's page.
type |
time |
link |
changed the statement and the proof
|
2021-04-01 |
2daadaf |
This change got wiped out by mistake on my part
I did not sync the changes made by Noah with my local changes
over here.
|
changed the statement and the proof
|
2021-04-01 |
84d0646 |
Detecting boundedness
Thanks to Noah Olander
This material was written by Noah Olander. In the accompanying email he
writes:
"I've added:
1. A new section at the end of Derived Categories of Schemes called
"Detecting Boundedness"
2. 2 Lemmas at the end of More on Morphisms, Characterizing
pseudo-coherent complexes, III
3. A lemma at the end of Derived Categories of Schemes,
Relatively perfect objects, which I needed to use in 2
and which followed easily from some stuff in More on Algebra."
|
changed the statement and the proof
|
2021-03-26 |
f3c4498 |
Upgrade lemma from pushouts to colimits of schemes
|
assigned tag 0BMP
|
2015-07-17 |
4bee95e
|
Tags: Added new tags
|
created statement with label lemma-pushout-fpqc-local in more-morphisms.tex
|
2015-07-17 |
94311a0 |
Coequalizer or pushout fpqc local on it
|