Loading [MathJax]/extensions/tex2jax.js

The Stacks project

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