Topology

For a smooth map between two 4-dimensional manifolds, the differential at p is an isomorphism. Which pair of properties does the map have at p?