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