As someone more used to point-set topology, who is unfamiliar with the inner workings of lattice theory, I am looking to learn about the localic interpretation of topology, of which I only have a limited understanding. As such, I have some questions:
- What are some accessible texts or online references on the subject?
- What are some recent results in point-free topology that are unique to the subject, i.e., not translations of results from general topology into localic language?