Compactification of mappings