History of tag 04IG
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2011-08-11 |
f2e3127 |
LaTeX: \Sh
Introduced the macro
\def\Sh{\mathop{\textit{Sh}}\nolimits}
and replaced all occurences of \textit{Sh} with \Sh.
|
|
created statement with label lemma-composition-morphisms-locally-ringed-topoi in sites-modules.tex
|
2010-04-21 |
f748a4c |
Etale Cohomology: Functoriality etale topoi done
This commit puts in the last bits for the proof that a morphism
of locally ringed topoi
(X_{etale}, O_X) ---> (Y_{etale}, O_Y)
always comes from a morphism of schemes X ---> Y.
The current proof by glueing is not really that nice since it
requires a lot of sophistication from the reader. On the other
hand it is more or less clear that you can do this as soon as
you start thinking about it, and in fact it is probably the
proof that a less sophisticated mathematicien (such as me) would
come up with in the first place. Hah!
|
|
assigned tag 04IG
|
2010-04-21 |
f748a4c
|
Etale Cohomology: Functoriality etale topoi done
This commit puts in the last bits for the proof that a morphism
of locally ringed topoi
(X_{etale}, O_X) ---> (Y_{etale}, O_Y)
always comes from a morphism of schemes X ---> Y.
The current proof by glueing is not really that nice since it
requires a lot of sophistication from the reader. On the other
hand it is more or less clear that you can do this as soon as
you start thinking about it, and in fact it is probably the
proof that a less sophisticated mathematicien (such as me) would
come up with in the first place. Hah!
|