Title: Mappings of proximity spaces