Email Record: Categorical Methods in Computer Science :