In mathematics, more particularly in the fields of dynamical systems and geometric topology, an Anosov map on a manifold M is a certain type of mapping, from M to itself, with rather clearly marked local directions of "expansion" and "contraction".

In mathematics, more specifically differential topology, a local diffeomorphism is intuitively a map between smooth manifolds that preserves the local differentiable structure.