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.