bijective local diffeomorphism. A smooth covering map is a local diffeomorphism such that every point in the target has a neighborhood that is by the map. Local flow diffeomorphisms See also References . Theory of continuous functions Diffeomorphisms Functions and mappings Inverse functions