Pātuhitia tēnei: The analytical and topological theory of semigroups