Bonjour à tous,
A la page :du pdf suivant : http://rgug.ch/medias/math/geometrie_algebrique.pdf , on trouve la démonstration du théorème qui affirme qu'il existe un foncteur
pleinement fidèle de la catégorie des variétés sur
dans la catégorie des
- schémas :
. L'auteur dans cette démonstration nous apprend comment on construit ce foncteur, mais la chose la plus importante qui est de montrer que
est pleinement fidèle, c'est à dire que :
est une bijection naturelle n'est pas faite dans ce pdf, regardez page :
pour comprendre. D'où ma question : Où je peux trouver s'il vous plaît une suite de cette démonstration établissant que :
est une bijection naturelle ( i.e : Injectivité + Surjectivité ) ?
Merci infiniment.
-----