54H30 Applications of general topology to computer science (e.g., digital topology, image processing) [See also 68U03] 127