inverse of a mapping