Semitopology: distributed collaborative action via topology, algebra, and logic

Murdoch J. Gabbay

We introduce semitopologies, a generalisation of point-set topology that removes the restriction that intersections of open sets need necessarily be open. The intuition is that poi…