"Frames and Locales: Topology without points " - читать интересную книгу автора (Jorge Picado, Ale Pultr)