- #1
Jim Kata
- 204
- 10
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?