Potential isomorphisms of generalized approach spaces

Abstract

We study relativizations and potential isomorphisms of quantale-valued approach spaces. We show how the category of generalized approach spaces and injective maps can be encoded using higher order structures, but under such an encoding generalized approach spaces need not have a relativization. We then provide an alternate encoding of generalized approach spaces using higher order structures which does always relativize.