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.
