A duality of generalized metric spaces

We develop a duality theory for Lawvereʼs generalized metric spaces that extends the Lawson duality for continuous dcpos and open filter reflecting maps: we prove that the category of relatively cocomplete and continuous [ 0 , ∞ ] -categories considered with open filter reflecting maps is self-dual.