Categorial Methods in Computer Science 1988

Part 1: Fundamental Categorical Methods in Computer Science

Part 2: Applications of Categorical Methods in Computer Science

Part 3: Categorical Aspects from Topology