Stav dette: Proximity approach to problems in topology and analysis /