Pātuhitia tēnei: The theory of categories