History of tag 0AIP
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2024-06-17 |
0930990 |
fix small typos
|
|
changed the proof
|
2016-05-03 |
f320e94 |
Work out Brian's suggestion properties diagonals
Thanks to Brian Conrad
http://stacks.math.columbia.edu/tag/0AIP#comment-1944
If you can prove a property P for the maps
U \times_X V ---> U \times V
and P is preserved by base change, then P follows for
the diagonal X ---> X \times X. Applying this to
formal algebraic spaces we get a shorter proof of the
basic properties of their diagonals
|
|
assigned tag 0AIP
|
2014-07-15 |
43a6949
|
Tags: Added new tags
|
|
changed the statement and the proof
|
2014-07-12 |
d3ae6f9 |
Normalize notation and setup conventions in formal-spaces.tex
|
|
moved the statement to file formal-spaces.tex
|
2014-07-12 |
70dcca1 |
Added new chapter entitled "Formal Algebraic Spaces"
|
|
changed the statement and the proof
|
2014-07-12 |
ee0e733 |
Finish the proof
|
|
created statement with label lemma-diagonal-formal-algebraic-space in resolve.tex
|
2014-07-11 |
d0b32d4 |
Start writing about diagonal formal algebraic spaces
A bit boring...
|