Pointfree funcoid induced by a locale or frame?

I have shown in my research monograph that topological (even pre-topological) spaces are essentially (via an isomorphism) a special case of endo-funcoids. It was natural to suppose that locales or frames induce pointfree funcoids, in a similar way. But I just spent a few minutes on defining the pointfree funcoid corresponding to a locale or […]