Email Record: Categorical methods in computer science :