higher geometry / derived geometry
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
derived smooth geometry
The notion of étale map is an abstraction of that of local homeomorphism in topology. The concept is usually found in places with a geometric or topological flavour.
An étale map between topological spaces is a local homeomorphism; see étalé space (which is the total space of such a map viewed as a bundle).
An étale map between smooth spaces is a local diffeomorphisms, a special case of a local homeomorphism.
For an étale map between schemes see étale morphism of schemes.
Restricted to affine schemes, this yields, dually, a notion of étale morphisms between rings.
An étale map between commutative rings is usually called a étale morphism of rings: a ring homomorphism with the property that, when viewed as a morphism between affine schemes, it is étale. See this comment by Harry Gindi for a purely ring-theoretic characterisation.
Zoran: that is the infinitesimal lifting property for smooth morphisms, need an additional condition in general.
Zoran: I do not understand this statement. Analytic spaces have a different structure sheaf; in general nilpotent elements are allowed. This is additional structure not present in theory of smooth spaces.
The idea of étale morphisms can be axiomatized in any topos. This idea goes back to lectures by André Joyal in the 1970. See (Joyal-Moerdijk 1994) and (Dubuc 2000).
Axiomatizations of the notion of étale maps in general toposes are discussed in