Pātuhitia tēnei: Mathematical structures for computer science.