Using the internal language of toposes in algebraic geometry

Ingo Blechschmidt

Any scheme has its associated little and big Zariski toposes. These toposes support an internal mathematical language which closely resembles the usual formal language of mathemati…