Research work · 1991

Topology, computer science, and the mathematics of convergence

Stephen Blamey

Topology and Category Theory in Computer Science

Abstract

Abstract At first sight, computer science and topology seem unlikely bedfellows. We show that they are linked by the idea of convergence: in computer science we are often interested in processes which converge, often in spaces which are, mathematically speaking, rather unconventional.

DOI: 10.1093/oso/9780198537601.003.0001