History of tag 0AN1
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0AN1
|
2014-09-21 |
99bc65e
|
Tags: added new tags
|
|
changed the statement
|
2014-09-16 |
a15ec64 |
Continuous ring maps and morphisms of formal algebraic spaces
This is OK and it could be a lot worse...
|
|
created statement with label lemma-countably-indexed in formal-spaces.tex
|
2014-09-14 |
0fb4338 |
More material on the formal spectrum
Unfortunately, making things more explicit is also uglier.
Observation: in Yasuda and also to some extend in McQuillan they have a
notion of linearly topologized module which is different from ours. On
the other hand, ours is the same as the one in Bourbaki Commutative
Algebra: Chapters 1-7, Page 236, Exercise 14 and our (completed) tensor
product is the same as the one introduced in ibid. Exercise 28.
|