Abstract

In this paper, we introduce the notion of strong quasi-metric spaces, and prove that the formal ball construction B induces monads on the category of strong quasi-metric spaces with 1-Lipschitz maps as morphisms, and on the category of strong quasi-metric spaces with Y-continuous maps as morphisms, respectively.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call