Local homeomorphisms via ultrafilter convergence

Abstract

Using the ultrafilter-convergence description of topological spaces, we generalize Janelidze-Sobral characterization of local homeomorphisms between finite topological spaces, showing that local homeomorphisms are the pullback-stable discrete fibrations.