Topology of Functional Reactive Programming