Text this: Mathematical structures for computer science