Topology In Computer Science