Title: Categorical methods in computer science