Topology and category theory in computer science - Reed, George M. (Clarendon, 1991)