New posts in locales

Getting Stone duality from the duality between sober spaces and spatial frames

general-topology category-theory boolean-algebra locales