Abstract
This paper extends the extension theorem for localic real functions of J. Gutiérrez García and T. Kubiak [8] from complemented sublocales to arbitrary sublocales. As an application, the theory of point-free C -, C ⁎ -, and z -embeddings is revisited.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have