History of tag 0GBB
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2022-04-11 |
c84e5d2 |
Introduce more types of formal algebraic spaces
It seems worthwhile to do this, but it won't make the chapter on formal
algebraic spaces easier to grok. Still, it seems to me that the notion
of what is currently called "locally weakly adic" is the *correct*
replacement of "adic" formal schemes.
|
|
assigned tag 0GBB
|
2021-02-08 |
bce5e9c
|
Tags: added new tags
|
|
created statement with label lemma-types-fibre-products in formal-spaces.tex
|
2021-02-04 |
0bbf9d1 |
More on formal algebraic spaces
Almost all of this is utterly trivial. It is only when you chain 100 or
so of these lemmas together that you get something recognizable as
geometry.
|