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. 



Analogy between topology and algebraic geometry
I suppose it's true that this is an aspect that deserves to receive more attention. 


One place where algebraic geometry is systematically done via the topos theory of the étale toposes of the given spaces is Jacob Lurie's "[Structured Spaces](http://ncatlab.org/nlab/show/Structured+Spaces)" and generally the 
"[E-∞ Geometry](http://ncatlab.org/nlab/show/E-infinity+geometry)" based on that. 


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


For instance one statement of the kind that you are looking for is theorem 1.2.1 in "[Quasi-Coherent Sheaves and Tannaka Duality Theorems](http://ncatlab.org/nlab/show/Quasi-Coherent+Sheaves+and+Tannaka+Duality+Theorems)". This says that a morphism of affine schemes is étale precisely if the induced map on étale toposes is an étale geometric morphism of ringed toposes.


