Net Spaces in Categorical Topology a