# Analogy between topology and algebraic geometry

In topos theory, there are many generalizations of topological concepts. For example, open, closed, proper and etale morphisms between toposes. However, there are also such analogous concepts in algebraic geometry.

My question is that do these concepts actually coincide? I mean, for example, a proper morphism of schemes actually induces a proper geometric morphism between some toposes induced by schemes (like etale topos)?

Although I mensioned about only morphisms, I want to know such analogous concepts in topology and algebraic geometry which are coincide at the level of toposes.

• I suggest you to have a look at this short book ams.org/bookstore?fn=20&arg1=alggeom&ikey=MEMO-148-705 I haven't noticed any explicit algebraic geometry in it, but I'm sure it contains some pointers. But maybe you come from that book? :-) – Fosco Jan 9 '14 at 18:28
• Thank you, but I know that book. And as you mentioned, there's no explicit descriptions. – Fujita Tomomi Jan 9 '14 at 19:38
• I think Urs' answer is interesting and a good one, but I also want to add that in some sense these really are the same thing in the sense that to any topological space one can associate a Grothendieck topology. Where the difference lies, in my mind, is in the notion of having "enough points." There is quite a bit of subtlety here though that I'm not an expert in. I recommend looking at locales however. A good place to start might be ncatlab.org/nlab/show/locale. – Jonathan Beardsley Jan 10 '14 at 1:21

(If you don't want to get into higher geometry you can simply ignore all the $\infty$-prefixes there and still get a discussion of the foundations of algebraic geometry that is conceptually cleaner than most of what one sees offered elsewhere).
• Where is the definition of "etale geometric morphism of ringed toposes" to be found? If one removes the $\infty$'s, is the above Theorem 1.2.1 different from the functorial characterization of etaleness for maps of schemes? (That is, does it tell us something different from EGA, or with a different method?) I do not know what a "proper" geometric map of toposes is (where is the definition given?), but should techniques that address an "etale" version be relevant to properties such as properness? Sorry for the list of questions. – user76758 Jan 10 '14 at 8:54