On \(L\)-proximities of the internal type (Q853381)

This paper shows that all initial and final lifts in the category of \(L\)-proximity spaces of the internal type and hence all initial and final \(L\)-proximities of internal type exist. The relations between the initial \(L\)-proximities of internal type and initial \(L\)-topology, the initial global \(L\)-neighborhood structures and the initial \(L\)-uniform structures are verified.