Jim Kata Messages 198 Reaction score 10 Thread starter Mar 15, 2013 #1 There is some theorem along the lines that any category of schemes embeds into a suitable Grothendieck topoi. What is the exact statement of this theorem?
There is some theorem along the lines that any category of schemes embeds into a suitable Grothendieck topoi. What is the exact statement of this theorem?