Pātuhitia tēnei: Categories for the working mathematician