History of tag 06CX
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2016-06-28 |
e41db52 |
Put back the reference to remark in criteria
Just so the reader knows what we are trying to do.
|
|
changed the proof
|
2016-06-28 |
5fad2b3 |
Fix error in criteria
The assumption in this lemma only gives one the surjectivity
of the maps
\colim X(T_i) ----> X(\lim T_i)
Luckily this is enough as seen in the previous commit.
|
|
changed the statement
|
2012-06-11 |
eb81cb2 |
stacks ---> cats fibred groupoids
A small improvement...
|
|
changed the proof
|
2012-05-17 |
d5b5e45 |
Moved a section
|
|
changed the statement and the proof
|
2011-08-11 |
f496b59 |
LaTeX: \Sch
Introduced a new macro
\def\Sch{\textit{Sch}}
and replaced all the occurences of \textit{Sch} with \Sch.
|
|
changed the proof
|
2011-08-10 |
996a95d |
LaTeX: fix colim
Introduced the macro
\def\colim{\mathop{\rm colim}\nolimits}
and changed all the occurences of \text{colim} into \colim.
|
|
changed the proof
|
2011-08-10 |
23038ed |
LaTeX: fix lim
Replaced all the occurences of \text{lim} by \lim or
\lim\nolimits depending on whether the invocation occured in
display math or not.
|
|
assigned tag 06CX
|
2011-05-17 |
929f4fe
|
Tags: Added new tags
Also fixed a reference.
|
|
created statement with label lemma-representable-by-spaces-limit-preserving in criteria.tex
|
2011-05-17 |
dd9236b |
Bootstrapping stacks
We finally proved the analogue for algebraic stacks of the final
bootstrap theorem for algebraic spaces proved in commit d70ec1d.
The theorem states that if X ---> Y is a morphism from an
algebraic space to a stack in groupoids, and if this morphism is
representable by algebraic spaces, surjective, flat, and locally
of finite presentation, then Y is an algebraic stack.
An application (to be added still) is that if G/S is a flat and
locally finitely presented group scheme, then [X/G] is an
algebraic stack over S. Etc, etc, etc.
|