Text this: Mathematical structures in computer science.