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