Frames and Locales: Topology without points (Frontiers