Cofinal types of ultrafilters over measurable cardinals

We develop the theory of cofinal types of ultrafilters over measurable cardinals and establish its connections to Galvin’s property. We generalize fundamental results from the countable to the uncountable, but often in surprisingly strengthened forms, and present models with varying structures of the cofinal types of ultrafilters over measurable cardinals.