Title: Categorical methods in computer science
Subjects: Categories (Mathematics), Congresses, Computer science, Topology