Email Record: Mathematical structures for computer science