Seol mar théacs é seo: Markov processes, semigroups, and generators