Categorial Methods in Computer Science