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.
-----