Toposes for semigroups: an invitation