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