Email Record: Basic category theory for computer scientists /